< 1482969610 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: are you saying santa claus is not evil tdnh < 1482969656 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :those out of context quotes and replies are frustrating tdnh < 1482969685 0 :Froox!~Frooxius@79.127.241.113 QUIT :Quit: *bubbles away* < 1482969699 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well boily will probably ping out before he sees them, anyway. < 1482969702 0 :Frooxius!~Frooxius@79.127.241.113 JOIN :#esoteric < 1482969768 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: beware of such comments, they may get you on the naughty list tdnh < 1482969881 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you get on that list twice does it cancel out < 1482969953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nope. < 1482970156 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cwlprits alise < 1482970196 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :coppr̈o < 1482970214 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lowi < 1482970214 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 282350Z AUTO 28003KT 9999 NCD M04/M06 Q1040 < 1482970236 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I thought it was a bit cold outside. Glad to have it confirmed. < 1482970370 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :@metar BIRK < 1482970371 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :BIRK 290000Z 21023KT 9999 -SHSN FEW010 SCT035CB BKN064 01/M02 Q0998 < 1482970447 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :which of these field is the temperture and on what scale? < 1482970496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"9999" < 1482970498 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's in German. < 1482970568 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i hope GG's Grandma is as prepared as she gives impression of or this is going to turn _bad_ even in Family terms... < 1482970592 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net PRIVMSG #esoteric :zzo38: are you the one who commented on the "orwell chess" chessvariant page? < 1482970613 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net PRIVMSG #esoteric :this game attracted my attention a long time ago < 1482970617 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Well this feels like a Grand Finale so it's time to kill a couple of main characters anyway *runs* < 1482970621 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Zarutian: 01/ < 1482970634 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: AAAAAAAAAAAAAAA < 1482970635 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(e.g., everyone) < 1482970669 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I know, I know, we still haven't seen any time travel. < 1482970670 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tarvek has hopefully taken his own antidote... < 1482970703 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :int-e: because of the whole 'hotdog' incident it was pretty much banned. < 1482970730 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But the machines riding the time machines could be clanks built by van Rijn. < 1482970740 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Zarutian: does "GG" mean anything to you? < 1482970753 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Because I don't recall any hotdogs in there. < 1482970781 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: why would he build clanks looking like agatha, gil and moloch < 1482970800 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: To avoid plot holes! < 1482970808 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1482970810 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It'll be a bumpy ride as is :-P < 1482970856 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i am sort of hoping that she was expecting the Queen when she told tarvek it would be "educational" < 1482970857 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :int-e: depends. If from an First Person Shooter then it means Good Game < 1482970871 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it's so much fun to mess with oerjan's head... usually it's the other way around) < 1482970901 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? gg < 1482970902 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.” < 1482970903 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :int-e: Otherwise in an certain online RPG it stands for Gold Gainer < 1482970903 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gg? ¯\(°​_o)/¯ < 1482970912 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Zarutian: http://www.girlgeniusonline.com/ ... not required reading < 1482970931 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :int-e: oh, I am sorry. I know too damn many acronyms < 1482970934 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But a very good web comic... < 1482970945 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Zarutian: you're forgiven < 1482970962 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :I got it in a pinned tab in my web browser < 1482970981 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I actually do see the "good game" variant quite a bit, in another online gaming context.) < 1482970984 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :schlock merchanary is another good one. < 1482971024 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have trouble dating that ship design though. < 1482971499 0 :frootykook!~naysayer@104.244.72.181 PRIVMSG #esoteric :int-e, this looks very mongoloid < 1482971594 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, it's back to the roots. < 1482971633 0 :frootykook!~naysayer@104.244.72.181 PRIVMSG #esoteric :http://www.girlgeniusonline.com/!.images.page/welcome/welcomepage2.jpg < 1482971711 0 :frootykook!~naysayer@104.244.72.181 PRIVMSG #esoteric :damn this shit is old < 1482971724 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(this helped: http://schlockmercenary.wikia.com/wiki/Kitesfear ) < 1482971843 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which appeared here for the first time, http://www.schlockmercenary.com/2000-06-18 < 1482972192 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and I suppose http://www.schlockmercenary.com/2001-02-13 was the last appearance; the explosion is http://www.schlockmercenary.com/2001-02-07; the last live appearance of the ship is http://www.schlockmercenary.com/2001-02-04 (last panel), my curiosity is satisfied :) < 1482974886 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :horay, I finished coptic! < 1482974906 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :...well, the basic coptic alphabet < 1482975105 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what shuld I do next... < 1482975127 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :more kanji! < 1482975232 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( `learn Coptology is comprised of coptanalysis and coptography. Coptanalysis is concerned with the disassembly and analysis of copters, whereas coptography is the art of designing and engineering copters that are robust against coptanalysis. ) < 1482975432 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: you go right ahead < 1482975456 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn Coptology is comprised of coptanalysis and coptography. Coptanalysis is concerned with the disassembly and reverse engineering of copters, whereas coptography is the art of designing and engineering copters that are robust against coptanalysis. < 1482975469 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'coptology': Coptology is comprised of coptanalysis and coptography. Coptanalysis is concerned with the disassembly and reverse engineering of copters, whereas coptography is the art of designing and engineering copters that are robust against coptanalysis. < 1482975487 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1482975491 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :trunc//The trunc and truncf functions (of C99 and C++11) are actually supported by the MS compiler (starting from the 2013), only strangely undocumented. < 1482975509 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1482975511 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(If anyone wonders where that came from... I wanted to read "coptic" as "cryptic" and the rest was kind of obvious.) < 1482975512 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :repetive//A repetive action is one that tries to repeat something, but fails miserably. < 1482975605 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=xEsbMj3tfdE < 1482976287 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1482976290 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hagb4rd//hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace. < 1482976298 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`wisdom < 1482976300 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :japan//Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is. < 1482976440 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :“If you are corrupt, I will fetch you with a helicopter and I will throw you out on the way to Manila,” Duterte said, as cited by the Philippine Star newspaper. < 1482976452 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :lol < 1482976564 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :research continues on whether it's best to elect politicians that are corrupt, or politicians that are straight up insane. < 1482976697 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :lol < 1482977078 0 :fizzie!?@? PRIVMSG #esoteric :Japan is handier to get to from Finland than from UK. < 1482977092 0 :fizzie!?@? PRIVMSG #esoteric :As far as I can determine, the only direct flights from London to Japan are to Tokyo. < 1482977119 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :oerjan: America confounds by picking both of the above. < 1482977164 0 :fizzie!?@? PRIVMSG #esoteric :(From Finland, Finnair flies non-stop to at least four airports.) < 1482977186 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Which four? < 1482977273 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pikhq: that's the control group < 1482977294 0 :fizzie!?@? PRIVMSG #esoteric :pikhq: Fukuoka, Nagoya (Chubu), Osaka (KIX) and Tokyo. < 1482977345 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :fizzie: There's not a "Tokyo Airport"; do you mean Tokyo Narita or Tokyo Haneda? < 1482977354 0 :fizzie!?@? PRIVMSG #esoteric :Narita. < 1482977435 0 :fizzie!?@? PRIVMSG #esoteric :(From Heathrow you can get to both of those, but no other places in Japan.) < 1482977459 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Little surprised they'd have a direct flight to Nagoya. < 1482977487 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :*shrug* < 1482977535 0 :fizzie!?@? PRIVMSG #esoteric :Well, Finnair tries to make a big deal about being a "gateway to Asia" for the European market. < 1482977557 0 :fizzie!?@? PRIVMSG #esoteric :https://www.finnair.com/gb/gb/destinations/asia-pacific/japan/nagoya < 1482977569 0 :fizzie!?@? PRIVMSG #esoteric :"We fly the geographically shorter route to Asia, making your flight time to Japan considerably shorter." < 1482977607 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Oh, they fly to Nagoya out of London? Hah! < 1482977662 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Oh, no, that's not direct, that's via Helsinki. < 1482977680 0 :fizzie!?@? PRIVMSG #esoteric :Yeah, it's showing "from London"-oriented info because I picked UK as my location. < 1482977703 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Because otherwise it'd pick a non-English language, and that is the working language of #esoteric. < 1482977715 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :(I assume) < 1482977734 0 :fizzie!?@? PRIVMSG #esoteric :You can do "Finland, English" as well. < 1482977735 0 :fizzie!?@? PRIVMSG #esoteric :https://www.finnair.com/fi/gb/destinations/asia-pacific/japan/nagoya < 1482977745 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Fair 'nough. < 1482977758 0 :fizzie!?@? PRIVMSG #esoteric :(Not all combinations are valid, but it offers English in several geographical locations.) < 1482977798 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :I suppose there's going to be rather a lot of people all over Europe who only speak English and a language local to their place of birth but not to their current place of residence, so. < 1482977842 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :Well. Current location, not so much residence. < 1482977863 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :I at least assume if you're in an area for a reasonable amount of time you'd try to pick up the local language regardless. :) < 1482978154 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :when I flew Toronto to Japan, we went over Russia < 1482978162 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :thanks, great circles :) < 1482978183 0 :pikhq!~pikhq@174-24-0-88.clsp.qwest.net PRIVMSG #esoteric :And Russia being a lot more close to Japan than people usually think. < 1482978207 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :yeah < 1482978224 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :got a cool view of some random kamchatkan volcanoes < 1482978640 0 :bb010g!uid21050@gateway/web/irccloud.com/x-ifjtjjmulevmcamr JOIN :#esoteric < 1482978825 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I don't like the practice of naming things like "the hamiltonian". The hamiltonian what? < 1482978848 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :the Hamiltonian thing < 1482978869 0 :fizzie!?@? PRIVMSG #esoteric :Quantas is planning to start a regular non-stop service from London to Perth, apparently the first such service from UK to Australia. < 1482978878 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :\oren\: how do you feel about "the derivative" then? < 1482978879 0 :fizzie!?@? PRIVMSG #esoteric :"The flights are expected to run 14 times per week, and will take about 17 hours, depending on weather conditions." < 1482978885 0 :fizzie!?@? PRIVMSG #esoteric :It's a long flight. < 1482978922 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a far distance. < 1482979177 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1482979920 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I want to try < 1482979954 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder how it would feel to spend 17 hours on an airplane < 1482979969 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I've done 12 many times before < 1482980801 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 246 seconds < 1482981374 0 :Warrigal!?@? NICK :tswett < 1482981653 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, a deductive system that's missing one of the usual structural rules (weakening, contraction, exchange) is called a substructural logic. < 1482981669 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What do you call a deductive system that *has* all three of those rules? < 1482981686 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Is that a "fully structural logic" or something? < 1482981978 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :What would be the name of the `jew command variant for wisdom? < 1482981992 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(we'll assume there's a command named `jew. It's a coincidence.) < 1482982028 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: What if it's missing 2 of them? < 1482982050 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Still just substructural. < 1482982311 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1482982312 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion1: `trwll hth < 1482982358 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: ...as in `troll -> `trwll or?? < 1482982361 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION is not sure of the joke
< 1482982371 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the point is you're trolling hth < 1482982390 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I'm actually curious though ;-; < 1482982393 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :;-; < 1482982419 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :;_; < 1482982424 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :;¯; < 1482982699 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`jww? < 1482982706 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: jww?: not found < 1482983222 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and obviously `wow would become www < 1482983236 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ＷＷＷＷＷＷＷＷＷＷＷＷ < 1482983259 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1482983272 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1482983553 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :\/\/\/\/\/\/. < 1482985927 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1482986333 0 :guest28894!b36bb350@gateway/web/freenode/ip.179.107.179.80 JOIN :#esoteric < 1482986548 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=uizvFK2KQ_o < 1482986938 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=PjB8pwNRFmY < 1482987413 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :A chess problem mentioned in HAKMEM: 8/5BP1/1p6/8/1N6/kP6/2K5/8 #3 < 1482988341 0 :Frooxius!~Frooxius@79.127.241.113 QUIT :Read error: Connection reset by peer < 1482988739 0 :guest28894!b36bb350@gateway/web/freenode/ip.179.107.179.80 QUIT :Quit: Page closed < 1482989413 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey folks, have a notation! < 1482989417 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's the unknot: A/V < 1482989431 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's a more verbose way of writing the unknot: A/II/V < 1482989440 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And an even more verbose way: A/II/II/II/II/II/II/V < 1482989477 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And another verbose way: AAAAA/IVVVVI/V < 1482989493 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All of those are knot diagrams with no crossings. < 1482989528 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's a diagram of the unknot, with lots of crossings going in the same direction: A/N/N/N/N/N/N/N/N/V < 1482989536 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lots of crossings in the opposite direction: A/Z/Z/Z/Z/Z/V < 1482989603 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's a diagram of the unknot with lots of crossings, oriented horizontally this time: < 1482989620 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :AAAAA/IZZZZI/VVVVV < 1482990189 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's the trefoil knot: AA/INI/ZZ/IVI/V < 1482990204 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :What's this notation? < 1482990295 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's a notation for tangle diagrams, where "tangle" means the "in link theory" meaning here: https://en.wikipedia.org/wiki/Tangle_(mathematics) < 1482990364 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Hmmm... < 1482990370 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A represents a tangle with 0 endpoints on the top and 2 endpoints on the bottom. It's just an arc connecting the two endpoints. < 1482990383 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I represents a tangle with 1 endpoint on the top and 1 endpoint on the bottom. Again, just an arc connecting the two endpoints. < 1482990403 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :V represents a tangle with 2 endpoints on the top and 0 endpoints on the bottom. Once again, just an arc connecting the two endpoints. < 1482990428 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION . o O ( n l u )
< 1482990457 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :N represents a tangle with 2 endpoints on the top and 2 endpoints on the bottom. There's an arc connecting top-left to bottom-right, crossing in front of an arc connecting top-right to bottom-left. < 1482990483 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Z represents a tangle with 2 endpoints on the top and 2 endpoints on the bottom. There's an arc connecting top-right to bottom-left, crossing in front of an arc connecting top-left to bottom-right. < 1482990494 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :I see. < 1482990628 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Juxtaposition represents... juxtaposition. If you juxtapose a tangle with t1 endpoints on the top and b1 endpoints on the bottom (a tangle t1 -> b1) and a tangle with t2 on the top and b2 on the bottom (a tangle t2 -> b2), you get a tangle with t1 + t2 on top and b1 + b2 on the bottom. < 1482990656 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The slash represents stacking or composition. If you compose a tangle t -> m and a tangle m -> b, you get a tangle t -> b. < 1482990680 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course, this means that tangles form a category. < 1482990691 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION should learn a tad more about category theory
< 1482990723 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :only some and knots are tangles \{\} -> \{\}? < 1482990728 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :s/only some // < 1482990770 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Links are tangles 0 -> 0. < 1482990781 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Knots are tangles 0 -> 0 that have the property that there's only one component. < 1482990808 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ahh right < 1482991032 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If I'm not mistaken, there are surprisingly few axioms you need in order to get all of the equalities that you'd want. < 1482991094 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1482991122 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom AJ: Juxtaposition is associative. Axiom AC: Composition is associative. Axiom JC: (a/b) (c/d) = ac/bd. < 1482991147 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom S: IA/VI = I (plus mirror images). < 1482991169 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, there's only one mirror image. It's AI/IV = I. < 1482991254 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"S" stands for "straighten", and the letter S also happens to resemble the left-hand side of the operation. < 1482991389 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom Psi: IZ/VI = NI/IV (plus mirror images). < 1482991400 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This time there are 7 mirror images. < 1482991411 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Psi" doesn't stand for anything, but the letter does resemble the left-hand side of the operation. < 1482991444 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom R1: A = A/Z (plus 3 mirror images). < 1482991462 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom R2: Z/N = II (plus 1 mirror image). < 1482991627 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom R3: IN/NI/IZ = ZI/IN/NI (plus 3 mirror images). < 1482991736 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Let me redo that last one slightly. < 1482991742 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom R3a: IN/NI/IZ = ZI/IN/NI (plus 3 mirror images). < 1482991849 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom R3b: IN/NI/IN = NI/IN/NI (plus 1 mirror image). < 1482991861 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think that's all of them. < 1482992283 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :AJ and AC don't need to be axioms do they? < 1482992323 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :also you need a logical system that allows you to apply these axioms in a subtangle of the tangle you're working with < 1482992463 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sure, you need a logical system that obeys the substitution property. < 1482992495 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Why wouldn't you need AJ and AC as axioms? Associativity of operators doesn't just happen automatically. < 1482992530 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :it can happen as a consequence of your definitions, which I believe it does here < 1482992891 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So how would you prove that (A/V) (A/V) = AA/VV? < 1482992914 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think I'm missing one axiom. Here it is: < 1482992966 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom I: Each tangle consisting of zero or more juxtapositions of I is an identity element for composition. < 1482993016 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :...okay, my question was silly, because you didn't say that you wouldn't need JC as an axiom, and so the answer is that you'd use axiom JC. < 1482993037 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Okay, how would you prove that (II)I = I(II)? < 1482993060 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or that (N/N)/N = N/(N/N)? < 1482993279 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :hmm I suppose I'm assuming that you have tangle operations defined already < 1482993314 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :in which case, perhaps your approach is correct < 1482993333 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :but I would generally prefer to define the composition and juxtaposition semantically rather than syntactically < 1482993526 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :What if I rotate a knot. < 1482995764 0 :bb010g!uid21050@gateway/web/irccloud.com/x-ifjtjjmulevmcamr QUIT :Quit: Connection closed for inactivity < 1482997721 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1482997725 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1482997792 0 :augur_!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1482998126 0 :augur_!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 258 seconds < 1482998570 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1482998591 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1482998599 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1482998861 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(N/N)/N = N/(N/N)? No, unless N = 1 < 1482998866 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: ^ < 1482998883 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :That's 1/N vs. N. < 1482998888 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, or N = -1 < 1482998948 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1482999293 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :or N = $ < 1482999329 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :1/$ = $, $ =/= 1 < 1482999407 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :no? < 1482999417 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :nvm you're busy < 1482999427 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION needs constant attention
< 1483000423 0 :augur!~augur@2602:304:cdac:e260:5cc2:76c2:12c6:c2c7 JOIN :#esoteric < 1483000672 0 :augur!~augur@2602:304:cdac:e260:5cc2:76c2:12c6:c2c7 QUIT :Remote host closed the connection < 1483000729 0 :augur!~augur@76-218-206-38.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1483000967 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION still needs constant attention
< 1483001651 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION pours a bucket of detention on rdococ
< 1483001665 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :I didn't have any attention nearby, so I thought it'd be close enough. < 1483002121 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :zgrep, do you have poor attention retention? < 1483002130 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION snatches the bucket and uses it to attack zgrep with asphyxiation
< 1483002158 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I know it's not very close to attention, but it's the only thing I had. < 1483002168 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Taneb: Don't even mention (it). < 1483002184 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hi < 1483002188 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :rdococ: I... hhhHHhhHHh... see... < 1483002199 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION is pretending to have a small attention span
< 1483002203 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :see what? < 1483002213 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :attntn < 1483002221 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :lol < 1483002279 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :For chess problems there is the Codex of Chess. So, for Magic: the Puzzling, I invented the Codex of Magic: the Gathering. However, some things are missing and if you know of any problem it causes that hopefully I could fix it. < 1483002344 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hllo. I wll now use an abitary losy copresin algitm fr Eglsh. < 1483002377 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION is reminded of http://ed-von-schleck.github.io/shoco/
< 1483002762 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION gives zgrep some more asphyxiation
< 1483002779 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Wonderfu... < 1483002788 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION falls
< 1483006066 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION is sad now
< 1483007392 0 :^v^v!v^@me.pxtst.com JOIN :#esoteric < 1483007456 0 :IronY!~IronY@unaffiliated/irony QUIT :*.net *.split < 1483007457 0 :^v!v^@me.pxtst.com QUIT :*.net *.split < 1483007458 0 :xfix!~konrad@unaffiliated/xfix QUIT :*.net *.split < 1483007458 0 :alakra!~alakra@2604:a880:0:1010::f5:f001 QUIT :*.net *.split < 1483007458 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1483007459 0 :pledis_!~nayoung@2400:6180:0:d0::383:e001 QUIT :*.net *.split < 1483007460 0 :L3viathan!~L3viathan@l3vi.de QUIT :*.net *.split < 1483007460 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk QUIT :*.net *.split < 1483007461 0 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :*.net *.split < 1483007461 0 :cnr!~connor@unaffiliated/conehead QUIT :*.net *.split < 1483007792 0 :IronY!~IronY@unaffiliated/irony JOIN :#esoteric < 1483007792 0 :xfix!~konrad@unaffiliated/xfix JOIN :#esoteric < 1483007792 0 :alakra!~alakra@2604:a880:0:1010::f5:f001 JOIN :#esoteric < 1483007792 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1483007792 0 :L3viathan!~L3viathan@l3vi.de JOIN :#esoteric < 1483007792 0 :pledis_!~nayoung@2400:6180:0:d0::383:e001 JOIN :#esoteric < 1483007792 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk JOIN :#esoteric < 1483007792 0 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1483007792 0 :cnr!~connor@unaffiliated/conehead JOIN :#esoteric < 1483007831 0 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :Max SendQ exceeded < 1483007973 0 :sparr!~sparr@2604:a880:800:10::103:f001 JOIN :#esoteric < 1483009786 0 :Frooxius!~Frooxius@79.127.241.113 JOIN :#esoteric < 1483010621 0 :Frooxius!~Frooxius@79.127.241.113 QUIT :Quit: *bubbles away* < 1483012430 0 :Frooxius!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483013738 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Wow, freenode is having netsplits too < 1483013770 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: My grandmother used to talk by dropping all the vowels < 1483014116 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hw dd sh prnnc cnsnnts lke tht? < 1483014154 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :how would she string consonants together tho? < 1483014366 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :hppavilion1: "too"? < 1483014418 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :(was some other net splitting recently too?) < 1483014478 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :probably < 1483014488 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: Foonetic is having a shittonne of netsplits < 1483014501 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Ah < 1483014515 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: I had THREE Foonetic tabs open the other day, one on each running server we could find. < 1483014528 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I have no idea. She must be a god. < 1483014542 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I don't know enough about foonetic.. < 1483014549 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: It's mostly xkcd stuff < 1483014551 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :afaikt < 1483014554 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :*afaict < 1483014563 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :That's all I've ever seen / been on it. < 1483014565 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Ah, right < 1483014592 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :we have i^2 = -1, |@| = -1, I wonder what other functions we could define impossible circumstances for, and use for new numbers < 1483014595 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But in all seriousness, she only did it while texting. I think I eventually snapped at her and said "This is English, not Arabic. We use an alphabet, not a fucking abjad", but I don't think I said it like that (citation: She's my grandma) and I'm not sure if I ever really said it < 1483014620 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :ooh < 1483014627 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: 1/0 = ζ, |γ| = i < 1483014639 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :N Nglsh bjd < 1483014646 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :snds cl < 1483014692 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :hppavilion1: Gamma? $? < 1483014693 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :|x| = sin(t) + icos(t) and we have an infinite number of numbers including @ and γ < 1483014703 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :zgrep: I like greekocity < 1483014703 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :s/sin/cos and s/cos/sin I got those mixed up < 1483014708 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but whatever it doesn't mean too much < 1483014712 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :hppavilion1: But... now I have to find my gamma key. < 1483014718 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Maybe I should get an APL keyboard. < 1483014733 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :zgrep: Do you have a custom keyboard layout? :D < 1483014741 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :No, but I could easily set one up. < 1483014742 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :The drugs are kicking in, I should sleep. < 1483014749 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :aw < 1483014782 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what about sqrt(@)? < 1483014799 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Hmm... |√@| < 1483014834 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :`wa sqrt(i) < 1483014845 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :`` url `which wa` < 1483014854 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wa: not found < 1483014858 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Ah, I see. < 1483014862 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/ < 1483014865 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :`` url `which w` < 1483014871 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/w < 1483014882 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Oh. < 1483014934 0 :fizzie!?@? PRIVMSG #esoteric :What on earth could you possibly be looking for? < 1483014951 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION . o O ( The ISS. )
< 1483014987 0 :fizzie!?@? PRIVMSG #esoteric :"wa" is a weird abbreviation for the ISS. < 1483015001 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :international space station? < 1483015033 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :zgrep: sqrt(i) is e^i(τ/7) iirc < 1483015044 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :o.o < 1483015045 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :you mean tau/8? < 1483015055 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :That'd make a tad more sense... < 1483015069 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes, τ < 1483015072 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :sqrt(i)^8 = i^4 = -1^2 = 1 < 1483015074 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Oh, yes, 8 < 1483015080 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Hymn, damn. < 1483015082 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :lol :p < 1483015164 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tbh if I were to choose an existing angular measurement other than radians I'd go for grads (1 grad = τ/400) < 1483015193 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :if I were able to make my own I would use powers of 12 eg. 144 because of their high divisibility. < 1483015229 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I hate grads. Also, that's why we use 360 < 1483015241 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :true... < 1483015265 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but 1/3 of 90 degrees is 33.33333.... not a pretty number. but 1/3 of 36 rdococs are 12 rdococs. < 1483015299 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: They're both superior highly composite numbers < 1483015308 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: 360 is at least less arbitrary than 400 < 1483015320 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Also, 1/3 of 90° is 30° < 1483015323 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh. < 1483015328 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yeah. < 1483015336 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION is embarrassed now.
< 1483015343 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :144 is not superior highly composite < 1483015367 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I like bidrees, which are 1/256. I'm making a physics calculator that can do angles nicely, and it implements, like, 12 types of measurement. < 1483015368 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION is now enlightened with hppavilion1's wisdom
< 1483015390 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :1 / a power of 2? nope pls < 1483015445 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but in defense of 144, in the dozenal system a quarter would be 30_12 rdococs, and a third 40_12 rdococs < 1483015490 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It overflows nicely. < 1483015509 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :you mean bidrees? I guess that's good for binary computing < 1483015604 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION vanishes as a spectre into the night
< 1483015608 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net QUIT :Quit: PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN < 1483015696 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Oh, that's right... HackEgo is tightly locked down, it can't make any sort of network requests. :( < 1483015918 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :At least, it could, were some sort of proxy running. < 1483016463 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1483017149 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :τ is a fun number but I prefer τ/4. e^iτ/4 = i c: < 1483017237 0 :Cale!~cale@2607:fea8:98e0:7e6:4d07:36f7:e488:50d0 QUIT :Ping timeout: 240 seconds < 1483017349 0 :fizzie!?@? PRIVMSG #esoteric :zgrep: There was a proxy thing (with an explicit whitelist), but it got out of order during a move. < 1483017359 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Ah. < 1483017363 0 :fizzie!?@? PRIVMSG #esoteric :zgrep: At any rate, if "wa" meant Wolfram|Alpha, that sort of command would be explicitly against the Wolfram|Alpha Terms of Use. < 1483017378 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Hm, it would? < 1483017379 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :
ACTION looks
< 1483017381 0 :fizzie!?@? PRIVMSG #esoteric :"The Wolfram|Alpha service may be used only by a human being using a conventional web browser to manually enter queries one at a time." < 1483017414 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so Siri doing it is against the terms? < 1483017432 0 :fizzie!?@? PRIVMSG #esoteric :I expect they have a separate agreement. < 1483017437 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh, k < 1483017459 0 :fizzie!?@? PRIVMSG #esoteric :(Presumably an actual API as well.) < 1483017621 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :fizzie: But the API has its own terms of use. < 1483017651 0 :fizzie!?@? PRIVMSG #esoteric :Oh, they've got a public thing now? < 1483017658 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :They have for a long time. < 1483017662 0 :fizzie!?@? PRIVMSG #esoteric :Last time we had this discussion, the website was the only thing they had. < 1483017673 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Well, for a long time from my perspective. < 1483017695 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :http://products.wolframalpha.com/docs/WolframAlpha-API-Reference.pdf < 1483017697 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yeah they do have an api < 1483017711 0 :fizzie!?@? PRIVMSG #esoteric :In that case, that's different. < 1483017741 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :I was going to use an API key, etc. It's limited, but since HackEgo can't let me get things from / via the API anyway, *shrug*. < 1483017748 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :At least, not unless I do it manually. < 1483017904 0 :fizzie!?@? PRIVMSG #esoteric :Apparently you'd have to do the link thing anyway, it's kind of ugly for IRC. < 1483017913 0 :fizzie!?@? PRIVMSG #esoteric :("Unless part of a written agreement to the contrary, You are required to provide a hyperlink to http://www.wolframalpha.com on every page with Results.") < 1483017921 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Really? Heh. < 1483017936 0 :fizzie!?@? PRIVMSG #esoteric :I guess that's relatively short link. < 1483017939 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :Well, IRC technically doesn't have pages. < 1483017971 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :I know of at least one bot that doesn't link to wolfram alpha every time. < 1483018002 0 :fizzie!?@? PRIVMSG #esoteric :I wouldn't expect them to actually enforce that. < 1483018029 0 :fizzie!?@? PRIVMSG #esoteric :It's a bit of a shame the proxy thing is broken, there were some other commands that also used the internets that no longer work as well. < 1483018034 0 :Cale!~cale@2607:fea8:98e0:7e6:b084:e1a8:a0c8:decc JOIN :#esoteric < 1483018308 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what would happen if there were particles that attracted their charge? < 1483018319 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :would they just be the opposite charge? < 1483018432 0 :zgrep!sid43445@gateway/web/irccloud.com/x-nkanophzavugrgcv PRIVMSG #esoteric :At some (small) distances, certain forces overpower electromagnetic forces. Stuff sticks together, like atoms, which is handy for our continued existence. < 1483018786 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I wonder, in a world made of tachyons, would we look like the FTL matter? < 1483019923 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net PRIVMSG #esoteric :hello < 1483020312 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1483020378 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zgrep: may the strong force be with you! < 1483020864 0 :hue!hue@zirc/eclipse QUIT :Changing host < 1483020864 0 :hue!hue@zirc/bfnt.eclipse JOIN :#esoteric < 1483022201 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :int-e x = 3; < 1483022220 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what kind of type is int-e anyway? < 1483022480 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :answers.com is such a crap < 1483022538 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :/oren/ < 1483022586 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :noping < 1483022595 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: deja vu! < 1483022650 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wonder what type int-e is. < 1483022663 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :maybe a multiple of e? < 1483022664 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :2e? < 1483022711 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tell us!!! < 1483022774 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric ::c < 1483022777 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :2ie? < 1483022783 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh my god IE IS IMAGINARY E < 1483022825 0 :Froox!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483022885 0 :Frooxius!~Frooxius@79.127.240.212 QUIT :Ping timeout: 248 seconds < 1483023118 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :曾 < 1483023146 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :i@ < 1483023216 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION ponders the facts that 0+1i is a 90 degree rotation, but 0+1i+0j+0k is 180 degrees.
< 1483023280 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :anyone have any thoughts on the topic? < 1483023352 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :no?! < 1483023353 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :rude < 1483023407 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :
ACTION gives rdococ e,attention
< 1483023415 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay < 1483023420 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so... < 1483023427 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it's a constant < 1483023456 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :0+1i is a tau/4 rotation in the complex plane, but a tau/2 rotation in the quaternion hyperspace. < 1483023941 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it appears that conjugation isn't the same as multiplication < 1483023945 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mystery solved! < 1483023957 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :conjugation? < 1483023976 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :? < 1483023998 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. conjugation is how quaternions give rise to rotation, x |-> a x a^-1 < 1483024034 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(IIRC, but I'm fairly certain anyway) < 1483024037 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :? < 1483024084 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :0 + 1k is equal to the Euler angle (180, 180, 0) = (0, 0, 180) < 1483024092 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and you get that by multiplying i and j < 1483024097 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :ij, not ji which is -k < 1483024136 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :aka. < 1483024157 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :(180, 0, 0) + (0, 180, 0) = (180, 180, 0) = (0, 0, 180), and ij = k < 1483024169 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that's how I know it's multiplication, not conjugation < 1483024329 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :i^-1 = -1; i(ai + bj + ck)(-i) = (-a+bk-cj)(-i) = ai-bj-ck < 1483024346 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION has just been thrown letters
< 1483024363 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :1/i = -i, I'm pretty sure < 1483024370 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, use x y z instead of a b c if you prefer those names for coordinates. < 1483024385 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it won't change the fact that the operation being used is conjugation. < 1483024468 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :? < 1483024498 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :*composition* of rotations is multiplication, becuae r (s x s^-1) r^-1 = (r s) x (r s)^-1. That's a law of conjugates. < 1483024507 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/becuae/because < 1483024532 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :okay...? < 1483024572 0 :Froox!~Frooxius@79.127.240.212 QUIT :Quit: *bubbles away* < 1483024726 0 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1483024805 0 :Frooxius!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483026415 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1483026890 0 :boily!~alexandre@24.48.34.70 PRIVMSG #esoteric :`wisdom < 1483026904 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :notsuredom//A state of incertitude, partial existence, dubiosity and conjecturability. < 1483027961 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1483028072 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03FTcode 5* 10New user account < 1483028994 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: some quaternion math: http://sprunge.us/FUTg < 1483030261 0 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1483030464 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 258 seconds < 1483032765 0 :izabera!?@? NICK :notboring < 1483032780 0 :boily!~alexandre@24.48.34.70 PRIVMSG #esoteric :notbelloring. < 1483032904 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1483032954 0 :notboring!?@? NICK :izabera < 1483033091 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-ljqdqymqmdfvkkaj QUIT :Excess Flood < 1483033346 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-dfdhjjvtpoqqghvw JOIN :#esoteric < 1483033998 0 :boily!~alexandre@24.48.34.70 PRIVMSG #esoteric :quinthellopia! < 1483034217 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? pda < 1483034225 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pda? ¯\(°​_o)/¯ < 1483034268 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( let's make something up: personalized differential advertising ) < 1483034612 0 :boily!~alexandre@24.48.34.70 PRIVMSG #esoteric :. o O ( polymerized ductile acacia ) < 1483034700 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION wonders the mechanics of the humble cog in four dimensional space.
< 1483034790 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: tbh I scared myself a little there; my interpretaion of "differential advertising" would be planting an idea in somebody's mind in such small incremental steps that they don't notice it happening. < 1483034842 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that does sound creepy < 1483034891 0 :boily!~alexandre@24.48.34.70 PRIVMSG #esoteric :int-e: Burma Shave Mind Control. < 1483034907 0 :boily!~alexandre@24.48.34.70 PRIVMSG #esoteric :but don't worry, it's personalized! < 1483034919 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Personalized Mind Control (TM)(C)(R) < 1483034962 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Differential advertising sounds much more sinister in my opinion. < 1483034977 0 :rdococ!rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tbh I think some of it might be going on today. < 1483035606 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1483037461 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1483038307 0 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 258 seconds < 1483039175 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-dfdhjjvtpoqqghvw QUIT :Excess Flood < 1483039256 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-awzdvxwmamcjteaj JOIN :#esoteric < 1483039768 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://www.youtube.com/watch?v=B0tWfZU0b2I < 1483039881 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj JOIN :#esoteric < 1483039924 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Hello! < 1483040094 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Things really are magical sometimess# < 1483040106 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :magical? < 1483040119 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like maths! < 1483040128 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Hi! < 1483040138 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I was in a car accident two days ago! < 1483040138 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Think about adding and multiplying, and boom, you get polynomials < 1483040139 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :math is logical! < 1483040140 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Woo! < 1483040151 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Generalise them just a little and boom, algebraic geometry < 1483040159 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Notebook, are you OK? < 1483040179 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Well, so far it was single exclamation marks... it may be fine. < 1483040197 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Well, I'm not a timelord! < 1483040209 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :But yeah, not a scratch. < 1483040219 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: Are you more coherent than Notebook? < 1483040219 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: any new languages? :) taken me all night if you ask me, assuming he's an intentional troll. what is the definition < 1483040224 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :The car was totaled, though. < 1483040242 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Gross :( < 1483040243 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: I'll take that as a no. < 1483040243 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: i recompiled it with code to resize and copy the commands there are shortcuts < 1483040251 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've been in a couple of crashes like that < 1483040269 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Both going southbound on the A68 from Scotland with my dad driving and me in the front seat < 1483040274 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :This wasn't first. < 1483040281 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I was in the back. < 1483040288 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :My father was driving. < 1483040293 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I cannot drive. < 1483040325 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Due to the fact I am 14. < 1483040330 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Or infinity. < 1483040340 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Or a very small decimal. < 1483040371 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :All of those are unusual ages for drivers < 1483040393 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Well, Timeis infinitely divisible, so everyone is infinity! < 1483040426 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :And human civilization isn't even visible on a timeline of the universe, from beginning to end. < 1483040441 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :And I'm a lot younger than human civilization. < 1483040466 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :;D < 1483040586 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION ponders the ieea of a 14 year old notebook...
< 1483040590 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :idea. < 1483040612 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'd hope it's the dead tree kind, then it would still be of some use :P < 1483040617 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Don't make that joke, please. < 1483040638 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It may be too late for that now. < 1483040641 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, I probably have one somewhere < 1483040647 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :So, I had a fun idea. < 1483040680 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh dear, let's hear it < 1483040686 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :A multilayered game theory AI. < 1483040729 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`grwp buzz < 1483040735 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :It basically breaks down problems and solves them but by bit. < 1483040747 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Bit by bit* < 1483040751 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Binary file reflection matches < 1483040762 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote buzz < 1483040765 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1483040789 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1483040809 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca QUIT :Ping timeout: 265 seconds < 1483040813 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This channel seems to be unbuzzing with activity. < 1483040819 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What sort of problems, Notebook < 1483040903 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"breaking down problems" is a hard problem. < 1483040913 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I shan't say. < 1483040919 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :You'll laugh at me. < 1483040920 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Notebook has encountered a problem and needs to restart. Please contact TotallyNotBots for additional help < 1483040927 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, lambdy! :D < 1483040932 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :@massages-proud < 1483040932 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1483040933 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :;-; < 1483040937 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-proud < 1483040938 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1d 20h 43m 34s ago: Is the ring the Gaussian Integers form prime? <-- yes, obviously hth < 1483040981 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :It's more that it's a silly idea. < 1483040984 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Hymn, what are the prime elements < 1483040986 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: EXPLAIN < 1483040996 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: EXPLAIN. EXPLAIN. < 1483041002 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION is still waking up
< 1483041004 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :EXTERMINATE! < 1483041010 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Yes, that's what I was going for. < 1483041011 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(In *very* easy cases this idea underlies what's called "dynamic programming") < 1483041016 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I know. < 1483041028 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Not the dynamic programming things. < 1483041029 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: So what's the idea? I missed it. < 1483041033 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, logs < 1483041033 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :The Dalek things. < 1483041068 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :What is Dynamic Programming, anyway? < 1483041085 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Code that adapts? < 1483041098 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :To varying circumstances? < 1483041112 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No, the "programming" there derives from its use in optimization. (like "linear programming") < 1483041129 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Oh? < 1483041140 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :For the record, I'm new to coding. < 1483041160 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Linear usually refers to straight things, cause to effect, right? < 1483041164 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Dammit, I accidentally edited the topic on my end (before submitting) < 1483041181 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I want to refresh it, but I've never been sure how without leaving and rejoining < 1483041185 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The basic idea is that when a problem's solution can be derived from smaller instances of the same kind of problem, then you can speed this up by basically tabulating the answers for all those smaller problems (thus avoiding computing the answer for the same smaller problem several times, at the cost of increased memory usage) < 1483041190 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Maths really can be magical. In fact... < 1483041198 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION trails off
< 1483041216 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Oh, a car accident? Are you OK? < 1483041226 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Yep. < 1483041232 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Completely unharmed. < 1483041243 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"linear programming" is "linear optimization", minimizing or maximizing the value of a linear function in real variables subject to linear constraints (linear inequalities with the same variables) < 1483041245 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :...huh, you were referencing Doctor Who before I joined the channel. < 1483041246 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :... < 1483041251 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :I must be psychic. < 1483041256 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Hehe. < 1483041287 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I don't get it. < 1483041295 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :The thing about linear programming. < 1483041318 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Whose fault was the accident? < 1483041330 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :No clue. < 1483041337 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :There's some dispute. < 1483041365 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :But probably the other fellow, because my father hit him in the side, implying he passed in front. < 1483041376 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm trying to get across to you that the "programming" in "linear programming", and also in "dynamic programming" has almost nothing to do with programming computers. https://en.wikipedia.org/wiki/Linear_programming < 1483041381 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: You were referencing Doctor Who before I joined the channel, then I referenced the Daleks after joining. If you aren't particularly used to IRC, it should be noted that your client doesn't show you what happened before you joined unless the network has a service for that. < 1483041384 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Oh. < 1483041423 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Wait, who told you time is infinitely divisible? < 1483041431 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Me. < 1483041438 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I kind of deduced it. < 1483041456 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :In that you can always cut it smaller, unlike matter. < 1483041457 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Notebook, is space also infinitely divisible < 1483041470 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Kind of? < 1483041488 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Not sure. < 1483041489 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Planck might disagree somewhat < 1483041513 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Anyway, int-e , I didn't understand a word of that. < 1483041530 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Don't worry about it. < 1483041544 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Alright. < 1483041587 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Anyways, I was just think that having multiple optimization systems compute various aspects of the problem, while more resource intensive in the short run, may be more efficient overall. < 1483041602 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Also, it could improve itself faster. < 1483041658 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Just thought I should bounce it off people who know more about computers than me. < 1483041672 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Planck time (https://en.wikipedia.org/wiki/Planck_time) and Planck length (https://en.wikipedia.org/wiki/Planck_length) are units of measurement based on fundamental constants of the universe; by all current understandings of physics, it doesn't make sense to talk about a distance shorter than the Planck Length or a duration shorter than the Planck Time. hth. < 1483041961 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's really way too vague to say anything meaningful about it. So I'll go with "sounds good". < 1483042159 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Whether there IS time or length shorter than Planck units is irrelevant to science; you can argue there is or there isn't, but by our understanding of physics, it doesn't change anything. < 1483042363 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: I get the feeling decomposing problems is NP, at least < 1483042420 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :It can definitely be checked in P if it can be reduced to finitely-many combinations of inputs and outputs, but that might be trivial... < 1483042562 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Sorry, back. < 1483042567 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Got distracted. < 1483042594 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :What is NP? < 1483042608 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: NP as in P vs. NP < 1483042624 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: The hardest open problem in all of computer science, and possibly mathematics, iirc < 1483042628 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Player vs. not Player? < 1483042631 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :No < 1483042638 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Polynomial vs. Non-deterministic Polynomial < 1483042642 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Oh. < 1483042648 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :No clue what those are. < 1483042693 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: It's one of the millennium prize problems, so a correct solution nets you $1_000_000 at least, and there may be other prizes also open for it that bring that up even more. < 1483042706 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Do you know what polynomials are? < 1483042712 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Nope! < 1483042714 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1483042718 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :It's an algebra thing < 1483042726 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Oh. < 1483042739 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :
ACTION is in grade 9, for the record.
< 1483042767 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: I think I did polynomials in 7th, but OTOH I was put in the really-smart-person basket < 1483042786 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Oh. < 1483042790 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(Not just the smart-person basket; the REALLY-smart-person basket. Not sure why though :P) < 1483042794 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION is bragging
< 1483042807 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Hymn, do you know exponents at least? < 1483042821 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Yep. < 1483042824 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Great < 1483042888 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Polynomials in some set of variables are expressions/functions/whatever that can be written as summing terms of a real constant (or maybe complex, or maybe just whatever, I forget) multiplied by some variables to natural number powers. < 1483042923 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Hm. < 1483042938 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: NP is not really the hardest < 1483042947 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :myname: Oh? What's harder?? < 1483042952 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :they are like a few dozen harder complexity classes < 1483042966 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :NP <= PSPACE for example < 1483042968 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: So, for example, f x = x^2 and f x = 2x^3+4.5x^2-9x+4 are polynomials, whereas f x = x^-1, f x = x^2.5, and f x = 2^x are not < 1483042970 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :or EXP < 1483042978 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :myname: Oh, no, that's not what I meant. < 1483042986 0 :rdococ!rdococ@unaffiliated/octagonfly QUIT :Disconnected by services < 1483042994 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Hm. < 1483042995 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :myname: I meant that P vs. NP is the hardest PROBLEM to solve, not that NP is the hardest TYPE of problem < 1483042997 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1483043004 0 :rdococ!rdococ@2600:3c03::f03c:91ff:fe37:4704 JOIN :#esoteric < 1483043009 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :NP is not the hardest by far. < 1483043026 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :If you include Undecidables, those are obviously the hardest < 1483043041 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like, c++ < 1483043045 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Yeah < 1483043046 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :xD < 1483043059 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what a mess of a language < 1483043073 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: In computers, it's often useful to know how a problem gets harder as it grows. You write this in big O notation as O(whatever), which I barely understand. < 1483043145 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: big o is pretty simple, f is in O(g) if there is a constant c and an n_0 with c*f(n) <= g(n) for all n >= n_0 < 1483043156 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: A problem in P can be solved in O(p) time, where p is a polynomial and the variable represents the size of the problem; so an O(n^2) problem takes time proportional to the square of the problem size. You can usually eliminate constants and smaller terms, so O(2x^2+3x+9) is the same as O(x^2) iirc < 1483043184 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :You lost me. < 1483043188 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Where? < 1483043195 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :e.g. if you draw f(x) = x and g(x) = x^2 you will,have points on f that are above g, but they will not appear for x >= 1 < 1483043208 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :When you started the math. < 1483043211 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :O.o < 1483043212 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1483043220 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Sorry. < 1483043228 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Notebook: how did you get here? < 1483043228 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: Ah. I'm not sure I ever started doing hard math; most of it was just example expressions other than the big O < 1483043249 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :Tardis. < 1483043256 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :okay! < 1483043280 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: What particular parts don't you understand? Out of curiosity. < 1483043300 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, Notebook is a person. < 1483043308 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was reading all those as "note to self". < 1483043312 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :explaining NP really is nothing you want to do on irc ad hoc < 1483043322 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :I actually have to go. < 1483043326 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :myname: True < 1483043330 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj PRIVMSG #esoteric :See you later! < 1483043331 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Notebook: OK, see you later! (maybe) < 1483043343 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION throws an alligator at Notebook
< 1483043363 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Hymn, wait, no, that was a crocodile < 1483043398 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION retrieves his large aquatic reptile
< 1483043973 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :...is Notebook just going to sit in the channel, or... < 1483043978 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Must be on a desktop < 1483044212 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( But explaining NP can be so SATisfying. ) < 1483044609 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Dammit, I have a Norouiga question but ørjan is offline >.< < 1483044636 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Are there any minimal pairings in any languages distinguished only by "æ" vs. "ae"? < 1483044905 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca JOIN :#esoteric < 1483045961 0 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1483046222 0 :augur!~augur@76-218-206-38.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1483046259 0 :augur!~augur@2602:304:cdac:e260:5cc2:76c2:12c6:c2c7 JOIN :#esoteric < 1483046497 0 :augur!~augur@2602:304:cdac:e260:5cc2:76c2:12c6:c2c7 QUIT :Ping timeout: 240 seconds < 1483047792 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1483047874 0 :Froox!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483047879 0 :Froox!~Frooxius@79.127.240.212 QUIT :Remote host closed the connection < 1483047991 0 :Froox!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483048014 0 :augur_!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1483048021 0 :Frooxius!~Frooxius@79.127.240.212 QUIT :Ping timeout: 260 seconds < 1483048050 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1483048451 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa JOIN :#esoteric < 1483048732 0 :augur_!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1483048789 0 :boily!~alexandre@24.48.34.70 QUIT :Ping timeout: 252 seconds < 1483048920 0 :Froox!~Frooxius@79.127.240.212 QUIT :Quit: *bubbles away* < 1483048950 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1483049011 0 :Frooxius!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483049309 0 :Frooxius!~Frooxius@79.127.240.212 QUIT :Ping timeout: 260 seconds < 1483049456 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Yes, the behavior of qualified class method definitions is pretty odd. < 1483049476 0 :^v^v!?@? NICK :dont_comment_on_ < 1483049482 0 :dont_comment_on_!?@? NICK :^v < 1483049532 0 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1483050247 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1483050688 0 :Notebook!uid203139@gateway/web/irccloud.com/x-doykiecskrlsuvgj QUIT :Quit: Connection closed for inactivity < 1483051215 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1483051356 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1483051482 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do I like what? < 1483051633 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :The various kind of stuff < 1483051785 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Do you think this is good? http://zzo38computer.org/fossil/tavern.ui/artifact/427c9f72f49f667e < 1483052207 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :How do I find the files for the X10 compatibility functions? < 1483052692 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1483052960 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1483052996 0 :Frooxius!~Frooxius@79.127.240.212 JOIN :#esoteric < 1483053039 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hippavilion[1]. there is no such thing as norouiga hth < 1483053086 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( and never the twain shall meet ) < 1483053136 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... clicked \oren\'s youtube links... what is wrong with you, \oren\?! < 1483053151 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i've long since learned not to do that hth < 1483053180 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(not because they're disturbing, mind you, i just don't really care about anime stuff) < 1483053189 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm usually saved by lack of bandwidth < 1483053204 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I went to the university to download some 33c3 videos. < 1483053310 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and now I'm passing some time waiting for a bus. < 1483053319 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Are there any minimal pairings in any languages distinguished only by "æ" vs. "ae"? <-- hm might be tricky. ae is rather rare in norwegian, as is æ. < 1483053335 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Ah :/ < 1483053358 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Norouiga is of or related to Norway < 1483053378 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that is not a common term hth < 1483053402 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: [nɒr.wiː.dʒi] < 1483053429 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, Norouija < 1483053432 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that pronunciation makes no sense for that spelling, either < 1483053445 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: https://en.wikipedia.org/wiki/Ouija < 1483053460 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i've vaguely heard of that. < 1483053474 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :"Ouija Board" has a name like [wiː.dʒi] for some reason < 1483053486 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh < 1483053488 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(apparently wiː.dʒʌ] is also used) < 1483053501 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :*[wiː.dʒʌ] < 1483053518 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION . o O ( Thus endeth the longest pronunciation in guide in history )
< 1483053560 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1483053973 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1483055513 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :@message zzo38 hi! have you tried playing orwell chess yet? was your comment about maharaja purely rational, or empirical? < 1483055513 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: messages messages-loud messages? < 1483055525 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :no I didn't < 1483055527 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :@send zzo38 hi! have you tried playing orwell chess yet? was your comment about maharaja purely rational, or empirical? < 1483055529 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: parse error on input ‘,’ < 1483055537 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :it's a comma hth < 1483055561 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :@send zzo38 hi have you tried playing orwell chess yet was your comment about maharaja purely rational or empirical < 1483055563 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: Not in scope: type variable ‘zzo38’ < 1483055563 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: Not in scope: type variable ‘hi’ < 1483055563 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: Not in scope: type variable ‘have’ < 1483055563 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :I did not try it < 1483055583 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :well at least I don't need to send the message < 1483055608 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Ouija board in QWERTY order is called a "Luigi board". < 1483055773 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :I'm looking around for second-hand checkers set to recycle into an orwell chess set < 1483055789 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :once that's done the harder part will of course be to find players < 1483055813 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Chess set that I have is combine chess/checkers/backgammon; if you have one of those then you can use checkers too. < 1483055820 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :I think it's okay that the maharaja is more powerful than the other pieces. it's a way to reward the player who captured a royal piece < 1483055823 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :And also to use the dice < 1483055859 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :well, my problem is there are 17 pieces per player in orwell chess < 1483055871 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: my search of /usr/share/dict/norsk finds only a single example, aksillaer/aksillær. not exactly household words :P < 1483055885 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1483055894 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :I have several chess sets with pieces that have approximately the same size and different colours, but I'd be missing the gryphon piece or something < 1483055896 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: And those are different, yes? < 1483055913 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(presumably they mean axillas and axillary, respectively) < 1483055916 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :(not even very closely related?) < 1483055918 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1483055932 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :so my plan was to make "printed pieces", in a way similar to chinese chess < 1483055940 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :except with images instead of chinese characters < 1483055958 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in theory you could have several similar words, but the word list has none. < 1483055977 0 :LKoen!~LKoen@2a01:e35:2eed:a430:a4ae:679c:33d8:3daa PRIVMSG #esoteric :but that requires 17*3 = 51 checkers pieces, which is more than one checkers set