< 1489104103 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1489104126 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1489104719 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: I did figure that 101.59366... would be formally consistent (well, I didn't find the number since I ran out of time, BUT I WOULD HAVE) < 1489104750 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: But OTOH, we want nice power-of-2y numbers, so 256 (or if you /insist/, 128) also works < 1489104824 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :And if you go with 256, you can make a decabyte 16 bytes, and that makes a hectobyte (decabyte/byte)^2, which is internally consistent. < 1489104868 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(since a hectometer is (decametre/meter)^2 and so forth) < 1489105258 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :SIlly prefixes < 1489105288 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Jafet < 1489105302 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like this. < 1489105311 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I haven't read all of it yet. < 1489105319 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :shachafternoon < 1489105331 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time Jafet < 1489105333 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for Jafet is Fri, 10 Mar 2017 11:22:11 +1100 < 1489105371 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1489106721 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :@time shachaf < 1489106722 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for shachaf is Thu Mar 9 16:45:20 2017 < 1489106888 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: i think you got that backwards, it's l / 10 km < 1489106932 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: hmm < 1489106945 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1489107700 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1489107995 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Lost terminal < 1489109069 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1489109070 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :unicode//Unicode is a mess invented in 1988 by Xerox, Microsoft, the Spanish Inquisition, and the evil Human Supremacy Corporation, in order to make it easier for the government to spy on Chinese people. < 1489109177 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :`wisdom < 1489109179 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :essay//To essay is to try, and while doing that showing your work in writing. < 1489109321 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :Someone should compile a fortune file out of those. < 1489109369 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellorkin! there's a shiny PDF! available in the topic! very gorgeous and well-typeset! < 1489109381 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :(not quite exactly up to date, but a good approximation!) < 1489109445 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :Where can I pay? < 1489109492 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( hm... royalties... ) < 1489109510 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :paying??? < 1489109524 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :do we have an official charity #esoteric supports? < 1489109537 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :if you want to send me something, I never say no to a cheezy postcard. < 1489109542 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? donate < 1489109543 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :donate? ¯\(°​_o)/¯ < 1489109544 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? donations < 1489109546 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :donations? ¯\(°​_o)/¯ < 1489109546 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :or plain cheese, if you manage to get it through customs. < 1489109564 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :I don't think they'd allow me to send cheese. They barely let me ship tea to United States. < 1489109565 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( or anything edible, really ) < 1489109579 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :And it cost me a fortune. < 1489109589 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :if you can smuggle a can of strömming >:D < 1489109596 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :why though < 1489109601 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait is erkin swedish < 1489109601 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :eww < 1489109607 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`? tea < 1489109608 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tea is concentrated fuel made by distilling occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean. < 1489109608 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :börk börk börk < 1489109610 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :there's a good reason they don't allow that < 1489109637 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? erkin < 1489109638 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :erkin? ¯\(°​_o)/¯ < 1489109643 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :‾\_(o_o)_/‾ who knows < 1489109648 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :it is a mystery. < 1489109659 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :swedish? do we even have swedish people on this channel? I don't think we do < 1489109665 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what < 1489109669 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but yeah, who knows < 1489109679 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION bumps wob_jonas on the head to realign his memory
< 1489109689 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? words < 1489109690 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The `words dictionary framework was designed by Klens Hålgar Oslekk, Upert T. Noffrey, Guiston Degraîme, Myyntti Raatalla, Gölrika Rosenskild, Zwübert von Pfölliger, Waslomir Stronderowich, Győrvan Sárbik, Gareen Shergyle, Fnörður Hljófsson, and Pastronella Gattrovezzi. < 1489109707 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :Those names sound Japanese. < 1489109708 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :erkin: I dont have you in the File. what are your approximative geographic coördinates, and body weigh? < 1489109721 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :Somewhere around these parts. < 1489109766 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Japanese? Seriously? that sounds like fail, because I don't think any of them wre supposed to be japanese. < 1489109769 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 240 seconds < 1489109776 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :Never be so sure! < 1489109782 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :erkin: *ding* filed ♪ < 1489109785 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :oh no < 1489109804 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :And my body weight is about 166,7777777777777 okkas. < 1489109815 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :It is mostly beard hair. < 1489109822 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :`? erkin < 1489109823 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :erkin? ¯\(°​_o)/¯ < 1489109849 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: there are at least two swedes here and i suspect a third. < 1489109869 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :∑(´ﾟωﾟ｀*) < 1489109877 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: ok < 1489109948 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : erkin: *ding* filed ♪ <-- helloily. you sound desperate. < 1489109969 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :is hell oily < 1489110014 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1489110050 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellørjan. beuh... < 1489110195 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1489110316 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1489110318 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :soap//Soap is the main ingredient for the iridescent visions that internet startups sell to investors. < 1489110988 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :hapax esoteromenon < 1489111079 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 264 seconds < 1489111204 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1489111210 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`quote hapax < 1489111212 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1489111231 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :. o O ( strange... I could've sworn there'd be one... ) < 1489111243 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`quote django < 1489111244 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :260) django is named after a person? thought it would be a giraffe or something \ 305) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 306) `quote django ​352) django is named a < 1489111256 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :okay, quote still works. < 1489111258 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`quote Hapax < 1489111259 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1489111267 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`grwp apax < 1489111282 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Binary file reflection matches < 1489111367 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I'm thinking about conic sections, as always < 1489111393 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hppavellonic[1]. < 1489111401 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion1: i'm sure that's hyperbole < 1489111426 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Specifically, since orbits in 2-body systems are always conic sections (iirc, or is that just when one has negligible mass?), I wonder if using variants on a cone, you can get solutions for n-body systems < 1489111455 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :And also, what do these conic sections even look like? They sound fun < 1489111465 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Like, if I use an ellipticone, do I get anything new? < 1489111471 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :What about a twisted ellipticone? < 1489111553 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Is there some software I can use to find the intersections of arbitrary 3D shapes? < 1489111578 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :grab a matlab! < 1489111592 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :boily: MAYBE I WILL < 1489111596 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :OKAY < 1489111663 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :boily: ...or maybe Octave. Octave is FOSSier < 1489111749 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :yes, but I couldn't've respected vowel alliteration hth < 1489111807 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :unlikely, because the 4-body problem contains singularities: http://www.math.cornell.edu/~templier/junior/final_paper/Danny_Tu.pdf < 1489111838 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(someone should make that into an esolang) < 1489111938 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Jafet: ...wait, how does it contain singularities? < 1489111980 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Jafet: Are we talking the mathematical sort or the black holey sort? < 1489111982 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :particles can reach infinite velocity and distance in finite time < 1489111999 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Jafet: ...physics doesn't allow that iirc < 1489112017 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I seem to remember there being a rule about that somewhere < 1489112020 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :It's really obscure < 1489112021 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 246 seconds < 1489112026 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :the classical n-body equations do < 1489112028 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Written by this unknown guy named Einstein < 1489112031 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Jafet: Oh, I see. < 1489112039 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :s/unknown/little-known/ < 1489112053 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(should've just said "named Albert") < 1489112057 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :now, if you have the relativistic n-body problem, I think it's still unsolved for n=2 < 1489112063 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Jafet: DAMMIT. < 1489112456 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :relativistically, it seems unclear what n=2 even means, because spacetime as a whole is curved and that's not simply defined by the position of the two bodies. < 1489112474 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :e.g. gravitational waves < 1489113266 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1489113350 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: POPULAR CHICKEN < 1489114008 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I feel like the universe was meant to make perfect sense, then God accidentally added a '...' after π = 3.14 < 1489114030 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(which, in God's programming language, means "make this some crazy bizarre number that goes on forever") < 1489114041 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :s/\.\.\./../ < 1489114147 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Superformula < 1489114158 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :"Gielis holds a patent related to the synthesis of patterns generated by the superformula." < 1489114278 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :... < 1489114583 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 246 seconds < 1489115055 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \(a,b,c) (d,e,f) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith(*) (sort l1 ++ reverse (sort l2)) <= sum (zipWith(*) l1 l2) < 1489115056 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .hs: 1: 149:Parse error: EOF < 1489115091 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \(a,b,c) (d,e,f) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith(*) (sort l1 ++ reverse (sort l2))) <= sum (zipWith(*) l1 l2) < 1489115094 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1489115094 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o... < 1489115105 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now what < 1489115119 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith(*) (sort l1 ++ reverse (sort l2))) <= sum (zipWith(*) l1 l2) < 1489115123 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1489115123 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o... < 1489115127 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :f < 1489115128 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`unicode • < 1489115130 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+2022 BULLET \ UTF-8: e2 80 a2 UTF-16BE: 2022 Decimal: • \ • \ Category: Po (Punctuation, Other) \ Bidi: ON (Other Neutrals) < 1489115148 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1489115166 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I see lambdabot has reached a new caliber < 1489115185 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait, it's obvious from the case with two < 1489115289 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(basically, that if have two lists of positive numbers, then you get the smalles sum of products if you pair them up in reverse order) < 1489115298 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*equally long lists < 1489115306 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+t < 1489115327 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(and largest if you use the same order) < 1489115513 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith (*) (sort l1) (reverse (sort l2))) <= sum (zipWith (*) l1 l2) < 1489115520 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1489115520 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o... < 1489115546 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@lore < 1489115564 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's possible ==> never actually worked in lambdabot, i don't quite remember < 1489115577 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> x^2 >= 0 < 1489115585 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1489115599 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> x > 0 ==> x^3 > 0 < 1489115599 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : : -1: -1:Ambiguous infix expression < 1489115617 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> (x > 0) ==> (x^3 > 0) < 1489115621 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1489115651 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> (sum (zipWith(*) (sort l1 ++ reverse (sort l2))) <= sum (zipWith(*) l1 l2)) < 1489115654 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1489115654 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Occurs check: cannot construct the infinite type: a0 ~ [a0] Expected type:... < 1489115664 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok that was not simply precedence < 1489115683 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> (sum (zipWith(*) (sort l1) (reverse (sort l2))) <= sum (zipWith(*) l1 l2)) < 1489115686 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Gave up! Passed only 15 tests. < 1489115723 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what did you change < 1489115753 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1489115775 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION doesn't slap self because he remembers that gives him tinnitus
< 1489115884 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \(a,(b,c)) (d,(e,f)) -> let l1 = abs<$>[a,b,c]; l2 = abs<$>[d,e,f] in all (>0) (l1++l2) ==> (sum (zipWith(*) (sort l1) (reverse (sort l2))) <= sum (zipWith(*) l1 l2)) < 1489115887 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1489115893 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 260 seconds < 1489115914 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think there was a better way to select positive numbers < 1489115928 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t Natural < 1489115930 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: Data constructor not in scope: Natural < 1489116010 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :anyway, you can essentially prove it from the case with 2 by emulating bubble sort with one list as the indices < 1489116026 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and the case for two follows from < 1489116076 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1489116138 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a*d + b*c = a*c + b*d - (a-b)*(c-d) < 1489116172 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? oerjan < 1489116173 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Your evil overlord oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1489116188 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`swrjan sevil overlordbuddy < 1489116191 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjan//Your buddy oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1489116216 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Remind me why it starts with the word "Your"? < 1489116234 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? Ørjan < 1489116235 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it. < 1489116242 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, good point. < 1489116250 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unless it's older < 1489116260 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`dowt oerjan < 1489116261 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, I mean that "pal" is too similar to "buddy" < 1489116265 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn pal < 1489116267 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "pal" wn "WordNet (r) 3.0 (2006)" < 1489116267 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pal < 1489116267 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: a close friend who accompanies his buddies in their < 1489116267 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : activities [syn: {buddy}, {brother}, {chum}, {crony}, < 1489116267 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : {pal}, {sidekick}] < 1489116268 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0:2012-02-16 Initïal import. \ 673:2012-08-27 run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ 2649:2013-04-13 sed -i \'s/$/ And hates Roald Dahl./\' wisdom/oerjan \ 2650:2013-04-13 sed -i \'s/\\. And/ who/\' wisdom/oerjan \ 4652:2014-06-06 . < 1489181409 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1489181411 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :quadrilateral//Don't you mean "tetrapleur"? < 1489181413 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1489181415 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :itidus19//itidus19 disappeared into a space-time anomaly < 1489181416 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1489181418 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :btw//btw is short for "bury the weasel" < 1489181420 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1489181422 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :usa//USA apparently doesn't stand for United State Automaton. < 1489181551 0 :FreeFull_!~freefull@defocus/sausage-lover JOIN :#esoteric < 1489181558 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :lol < 1489181565 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :united state automaton < 1489181577 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :how would that work? < 1489181583 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1489181659 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rdococ: you have some set of N FSA's and you merge them into one to run them in "parallel" < 1489181739 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :say that one FSA says in state 1 with input A goto state 2 and anothe says goto state 3. the USA would say in state 11 with input A goto state 23 < 1489181755 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :wat < 1489181797 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you merge their behaviours to form a FSA on the cartesion product of their states < 1489181813 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that the USA < 1489181823 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :er < 1489181928 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: Leaving < 1489181945 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1489181960 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :er, first you form an FSA on the cartesian product of their state spaces. then you trim states that are unreachable from the initial state < 1489181993 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :er < 1489182004 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1489182043 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :what < 1489182117 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=ZH_hHmRAU7Q < 1489182126 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi < 1489182283 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xijzrzkdnfasmntr QUIT :Excess Flood < 1489182393 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1489182479 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-whraparaafsluoto JOIN :#esoteric < 1489183118 0 :FreeFull_!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1489183678 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1489184760 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :I thought of that a spell in a Dungeons&Dragons game or GURPS game that could be made up, it is targets two mirrors and then until the spell expires, what is visible in each mirror is what the other mirror reflects instead of what this one does. < 1489184765 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1489184823 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like the spell, but not in Dungeons & Dragons or GURPS. < 1489184844 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :shachaf: You can use other game systems too if you prefer < 1489184909 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :If you then put both mirror next to each other so that the reflective sides are exposed (to make a double mirror), then it will be like seeing through, but, anyone that is invisible but still has a visible reflection (this is a possible modifier in GURPS) will now be visible through this window, and anyone with the power to not cast a reflection (also a trait in GURPS, e.g. a vampire) cannot be seen (but it may be helpful if you want to see through < 1489184924 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean I like it in real life. < 1489184955 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Another thing to do is move mirrors into different locations once cast in order to make surveillance, until the spell expires. < 1489184971 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :And then to do another different thing if these two mirrors can see each other. < 1489185212 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1489185226 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I seem to be designing the ultimate nerdy computer interface < 1489185235 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :A keyboard with more deadkeys than I have fingers < 1489185244 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :A mouse which can use polar or hyperbolic coordinates < 1489185246 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :et cetera. < 1489185306 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :polar or hyperbolic coordinates? < 1489185362 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It could be switched between cartesian, polar, and hyperbolic coordinates at will < 1489185374 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :[and maybe parabolic?] < 1489185381 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :(yes but how would it work?) < 1489185407 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: A button < 1489185415 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :... < 1489185416 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: You press a button to change the mouse movement mode. < 1489185453 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :say I changed the mouse movement mode right now, and tried to move my mouse to the right. what would happen? < 1489185534 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: You should tell vaporware that it is scow. < 1489185619 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :shachaf: Why? Shouldn't you tell vaporware that it is scow? < 1489185628 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :vaporware: you're scow < 1489185630 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Why would I tell vaporware that? < 1489185648 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Which did you change to? < 1489185660 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: It is. < 1489185665 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: That's why. < 1489185670 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hppavilion1: polar < 1489185675 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: OK, polar. < 1489185707 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Because for two reason: [1] I don't know which one is scow [2] Hopefully you understand better what you are meaning if you tell them directly < 1489185709 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: If you switched to polar and moved to the right, your mouse would move counterclockwise along the screen following a circular arc centered at the designated centerpoint < 1489185717 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Which is by default the center of your screen < 1489185719 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ah < 1489185726 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :as I expected... < 1489185731 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :but how would that be useful in any way? < 1489185736 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Assuming you didn't move your mouse vertically, the radius would remain constant < 1489185740 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It would be fun‽ < 1489185745 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :true... < 1489185750 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ooh < 1489185756 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :can you give me an interactive demo or something? < 1489185760 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Perhaps add many switches: coordinate mode, horizontal lock, vertical lock < 1489185764 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(And give you intuition for different geometries, and probably be nice for drawing arcs and so forth) < 1489185766 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :also, what about hyperbolic? < 1489185770 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :zzo38: Oooh, nice < 1489185772 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: But one time you told me that vaporware says that it is scow. < 1489185806 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Hyperbolic would be the same, but the origin would be the bottom left corner and movement would be based on hyperbolic geometry, as it should be. < 1489185817 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(or on hyperbolic coordinates. Whatever.) < 1489185822 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :zzo38: Good idea. < 1489185829 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hyperbolic coordinates? < 1489185833 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(wait, already said something to that effect) < 1489185845 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : rdococ: Hyperbolic would be the same, but the origin would be the bottom left corner and movement would be based on hyperbolic geometry, as it should be. < 1489185850 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Hyperbolic angle plus radius. https://en.wikipedia.org/wiki/Hyperbolic_coordinates < 1489185853 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i don't see how this could work < 1489185861 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: Huh? < 1489185862 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :oh < 1489185864 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: Why not? < 1489185864 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hyperbolic angles < 1489185864 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh i do now nvm < 1489185870 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :of course < 1489185889 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I'd like an interactive demo of them < 1489185902 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :like you'd just locally map the mouse velocity onto the hyperbolic plane < 1489186012 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :confusing as fuck ofc < 1489186133 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: At first. It'd become intuitive surprisingly fast. < 1489186135 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I assume < 1489186144 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :lolno < 1489186162 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hyperbolic geometry has this property where it blows up exponentially < 1489186203 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you'd get lost very quickly < 1489186213 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: I once set my font to this and was able to kind of keep up a conversation: https://fontstruct.com/fontstructions/show/1348757/cryptonomicon-basis < 1489186215 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :play hyperrogue imo < 1489186227 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: Neuroplasticity is a powerful tool. < 1489186243 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that's-- good for you, when i was 14 i learned tengwar from the lotr appendices < 1489186245 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: Then you'd add a logarithm to velocity so that you don't get lost too quickly. < 1489186256 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :which was actually less useless because it introduced me to phonetics < 1489186274 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: The use of Cryptonomicon is that it prevents people from reading over my shoulder. < 1489186276 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: hth. < 1489186303 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :anyway it's not about that it's about how much space there is in hyperbolic space < 1489186347 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: [on the topic of a demo] Yeah, that's where I'm stuck. I can't think of a way to efficiently implement it via the actual mouse without learning to write a whole mouse driver; I might be able to make the numpad do it for simplicity, though. < 1489186352 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :like there's a challenge in hyperrogue which is this: < 1489186363 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :there is a room with walls 28 grid tiles out from the centre < 1489186367 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the holy grail is on the centre tile < 1489186371 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :find your way to the centre < 1489186396 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that's it and it's incredibly hard because the room has 31659398 tiles in it < 1489186517 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I prefer vaporwave to vaporware < 1489186613 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Hoover: OK, to be clear, hyperbolic geometry and hyperbolic coordinates are pretty much unrelated, yes? < 1489186624 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Or < 1489186626 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I really don't know < 1489186706 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :The idea is just that moving your mouse left increases u, moving it right decreases u, moving it up increases v, and moving it down decreases v, as given in https://en.wikipedia.org/wiki/Hyperbolic_coordinates < 1489186742 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1489186779 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :those are different yes < 1489186781 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 246 seconds < 1489186827 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :'Since HP carries the metric space structure of the Poincaré half-plane model of hyperbolic geometry' well ok it's hyperbolic space < 1489186854 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :but we're describing different mappings of mouse movement to movement in space, yes < 1489186936 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1489186956 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yours is coordinate-based and has the property that if you move the mouse around a big loop on your desk it'll end up in the same place in hyperbolic space that it started < 1489186973 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :mine is based on integrating the path of the mouse into hyperbolic space and does not map loops to loops < 1489187056 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :what about a polar coordinate terminal? < 1489187072 0 :Marcela_Gandara1!~Marcela_G@190-76-250-20.dyn.movilnet.com.ve JOIN :#esoteric < 1489187101 0 :hppavilion2!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1489187302 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 268 seconds < 1489187575 0 :AnotherTest!~turingcom@ptr-82l26zfjslisvooccir.18120a2.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1489188026 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Mindygalveston 5* 10New user account < 1489188309 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1489188311 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1489188313 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :adjective//Adjectives are words frequently found attached to chickens. < 1489188335 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :chickens are good ^^ < 1489188435 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1489188457 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :tasty chicken < 1489188462 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`wisdom < 1489188464 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :submarine jousting//Submarine jousting is unexplainable. < 1489188608 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1489188659 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1489189294 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :rdochelloc. pork is better, but chicken is good. < 1489189456 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1489189486 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellørjan! best meat? < 1489189558 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helloily! mink whale hth < 1489189590 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :mink whale? < 1489189633 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION cashes his norwegian government propaganda fee
< 1489189664 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: best join? < 1489189667 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops, *minke < 1489189715 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i've forgotten < 1489189758 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`? pork < 1489189759 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pork? ¯\(°​_o)/¯ < 1489189762 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`? 1+! < 1489189763 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1+!? ¯\(°​_o)/¯ < 1489189764 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`? 1+1 < 1489189765 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1+1? ¯\(°​_o)/¯ < 1489189786 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: it was either that or a long pig joke hth < 1489189787 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :does wisdom support entries with + in their name? < 1489189795 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`? pig < 1489189796 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pig? ¯\(°​_o)/¯ < 1489189813 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rdococ: yes. < 1489189818 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`le//rn 1+1//1+1 is window. < 1489189820 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned '1+1': 1+1 is window. < 1489189823 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`wisdom [+] < 1489189825 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​αλτγρ+γ//αλτγρ+γ is the national dead pastry of Greece. Goes great with a glass of ouzo! < 1489189853 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :oerjan: fr:rorqual! never tasted it. < 1489189903 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`le//rn 1+1//1+1 is window as rdocscovered by rdococ in the late 202nd decade. < 1489189905 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned '1+1': 1+1 is window as rdocscovered by rdococ in the late 202nd decade. < 1489189914 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: well much of the world has forbidden it hth < 1489189941 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`forget 1+1 < 1489189943 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Forget what? < 1489189976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls emo* < 1489189976 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :The best way to make a species disappear is to eat it into delicious oblivion... :/ < 1489189977 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat \ :-D \ drowning \ flipbird \ gaaan \ gaan \ kyaa \ shrug \ shrug2 \ swatter \ useless < 1489189996 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls -d emo* < 1489189997 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :emoticons < 1489190009 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`mk emoticons/window//1+1 < 1489190011 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :emoticons/window < 1489190048 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat emoticons/cat < 1489190048 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Meow~~ >^.^< < 1489190074 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i feel that has already crept away from emotions < 1489190096 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm and emoji is also wrong, those should be characters < 1489190176 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rdococ: i think "rdocscovered by rdococ" is overdoing it regardless of the value of the wisdom by itself. < 1489190188 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :true < 1489190201 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unless you're rdocscovering redundancy or something. (but we already have that.) < 1489190219 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`le//rn 1+1//1+1 is window as rdocscovered by rdococ, brought to you from the department of rdocdundency department by rdococ, in the late 202nd decade. < 1489190221 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned '1+1': 1+1 is window as rdocscovered by rdococ, brought to you from the department of rdocdundency department by rdococ, in the late 202nd decade. < 1489190252 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`forget 1+1 < 1489190254 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Forget what? < 1489190258 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric ::c < 1489190271 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i said _regardless of the value_. < 1489190283 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i wasn't implying that it was good except for that. < 1489190284 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I was gonna put 1201_12 < 1489190292 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :...fine < 1489190300 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :
ACTION gives rdococ a miniature tuna. a miniatuna.
< 1489190305 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`? 1+1 < 1489190306 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1+1? ¯\(°​_o)/¯ < 1489190308 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :`? window < 1489190309 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :window? ¯\(°​_o)/¯ < 1489190314 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION gives boily a swat -----###
< 1489190333 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :
ACTION sprays fly spray over oerjan
< 1489190388 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :aieee. < 1489190390 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION flies