< 1421884812 364759 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :James R Munkres < 1421884939 161064 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Aha! my Analysis I textbook was Spivak's "Calculus" < 1421885002 614292 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :So i confused the two a little < 1421885091 307512 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Analysis II was very hard but it obviated the need to take othermath courses < 1421885143 797284 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :it is the end all be all for math prerequisites in CS < 1421885226 706024 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421885395 891001 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I wonderif all universities have prereq lists like " < 1421885427 411057 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Take A and B and C, or just take D. < 1421886770 856039 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oren, well most universities probably build on things you learned earlier in your course, yes < 1421886786 671972 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :if anything i wish mine would do so more thoroughly < 1421886808 996471 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i've lost track of how many modules have gone through the definition and basic properties of a group < 1421886844 626983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think it may have been massey, i'm too lazy to go down to the parking cellar to find the book and stupid amazon basically has a biography instead of a proper book description < 1421886926 831149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in any case, it had a final chapter on de rham < 1421886936 315467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*de rham cohomology < 1421886980 715824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're a cohomology expert, right? < 1421886983 405270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or was it homology? < 1421887022 973964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if by "expert" you mean i once proved some spaces to have trivial homology in a published paper < 1421887049 588553 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :What is a homology? < 1421887074 198377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and i guess some others _not_ to have trivial homology, by being very not simply connected < 1421887095 341890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: it's a functor from topological spaces to a sequence of groups < 1421887116 702256 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that (very not simply) connected or very not (simply connected) < 1421887126 293794 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan, a sequence of groups form a category? < 1421887140 812472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or a sequence a functors from spaces to groups < 1421887167 79308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: well by trivial product, definitely, although in this case there definitely are connections between them < 1421887221 475269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but H_0(S) is basically the free abelian group with card(S) generators < 1421887246 786050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and H_1(S) is the "abelization" of the fundamental group < 1421887279 195359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then the higher groups are more complicated things involving higher dimensional properties of the space < 1421887309 161221 :hoosieree_!~hoosieree@99-38-162-71.lightspeed.iplsin.sbcglobal.net JOIN :#esoteric < 1421887311 625965 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but e.g. the circle has H_0(S) = Z and H_1(S) = Z iirc < 1421887343 608287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while a "contractible space" like a point or ball has both (and all the rest) trivial groups < 1421887398 499121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the n-sphere generally has most of them trivial but 2 neighboring ones are Z, one further out per dimension < 1421887411 873875 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc which i'm pretty unsure of for the latter < 1421887435 870730 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Interesting < 1421887439 452585 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I should go to bed now < 1421887440 822945 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Goodnight < 1421887444 537706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the fact that these are functors allow you to prove things like the jordan curve theorem < 1421887464 994361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and in fact its higher-dimensional generalization) < 1421887561 2336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh and it's both, assuming the former implies the latter < 1421887614 637546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: presumably the former means that it's connected, but in a v. complicated way < 1421887614 790696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm s/card(S)/card(components of S)/ above there < 1421887671 130478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well they were connected indeed < 1421887683 136992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait were they < 1421887749 431287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i'm not sure if that was part of it < 1421887794 49599 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they had a quotient space that was basically a product of infinitely many circles < 1421887811 672349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc < 1421887826 473365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*it had < 1421887852 881653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this was just one space in particular, the simple topological measures on a torus < 1421887859 458444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afair < 1421888013 189236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i don't remember that the space was necessarily connected < 1421888056 406639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think we had enough control to say that < 1421888167 70497 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@ask mroman You just get a log-normal distribution < 1421888167 223951 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421888222 197414 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : while a "contractible space" like a point or ball has both (and all the rest) trivial groups < 1421888223 879403 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :uh no < 1421888231 630226 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :H_0 of a point is Z < 1421888298 346535 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :n-sphere has H_0 and H_n isomorphic to Z < 1421888331 45545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right, i get confused about the H_0 vs. reduced H_0 thing < 1421888348 679417 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :reduced homology is such a weird convention < 1421888385 146697 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it only changes H_0 yet it's treated like a property of the entire sequence of homology groups < 1421888782 946157 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1421890862 400998 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421891060 447406 :^v!~^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :aww < 1421891061 135716 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 276 seconds < 1421891063 957910 :^v!~^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i missed the soak < 1421891108 506921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what soak < 1421891232 468687 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It says that "nc -e" is dangerous; what dangers are there exactly? < 1421891362 306549 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is it safe if the program you are running is safe? < 1421891388 386545 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The usual dangers with allowing people to connect to your machine and run programs, probably. < 1421891405 66010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nc here doesn't have -e but its man page has a comment "Be cautious here because opening a port and let anyone connected execute arbitrary command on your site is DANGEROUS." < 1421891444 197136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(in the part suggesting how to get around the lack of -e) < 1421891463 238515 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :same for curl ... | sh - < 1421891464 435902 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But can't you specify what program you want to run? They won't necessarily execute arbitrary commands in this way isn't it? < 1421891548 234313 :boily!~alexandre@96.127.201.149 QUIT :Quit: EXECUTIVE CHICKEN < 1421891595 902747 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :zzo38: people used to run nc -e /bin/bash anyway. < 1421891612 318239 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :much like rm -rf /... < 1421891706 623522 :MoALTz__!~no@78-11-152-253.static.ip.netia.com.pl JOIN :#esoteric < 1421891787 432543 :weissschloss!~viskestel@li607-220.members.linode.com QUIT :Ping timeout: 264 seconds < 1421891892 974836 :tromp__!~tromp@rtc35-167.rentec.com JOIN :#esoteric < 1421891897 904697 :yukko_!~yukko@vps-7818-9356.cloud.tilaa.com JOIN :#esoteric < 1421891987 458203 :heroux_!sandroco@gateway/shell/insomnia247/x-sumludlizejfjest JOIN :#esoteric < 1421892002 533559 :jameseb-!~jameseb_@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1421892038 381304 :Sprocklem_!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1421892286 473514 :aloril_!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi JOIN :#esoteric < 1421892362 242854 :yukko!~yukko@unaffiliated/yukko QUIT :Ping timeout: 264 seconds < 1421892362 439778 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl QUIT :Ping timeout: 264 seconds < 1421892362 592962 :aloril!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi QUIT :Ping timeout: 264 seconds < 1421892362 593062 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 264 seconds < 1421892362 745979 :heroux!sandroco@gateway/shell/insomnia247/x-paolivgfidjtgxrq QUIT :Ping timeout: 264 seconds < 1421892362 899381 :hoosieree_!~hoosieree@99-38-162-71.lightspeed.iplsin.sbcglobal.net QUIT :Ping timeout: 264 seconds < 1421892362 899481 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1421892363 330060 :tromp!~tromp@rtc35-167.rentec.com QUIT :Ping timeout: 264 seconds < 1421892368 639013 :heroux_!sandroco@gateway/shell/insomnia247/x-sumludlizejfjest NICK :heroux < 1421892464 620384 :weissschloss!~viskestel@li607-220.members.linode.com JOIN :#esoteric < 1421893118 473232 :arjanb!8259a9d1@gateway/web/freenode/ip.130.89.169.209 QUIT :Quit: zzz < 1421893383 421912 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :zzo38: nc -e inetd-style-httpd would be just fine I imagine. < 1421894214 606564 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1421894382 134418 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Remote host closed the connection < 1421895087 223842 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=41709&oldid=40821 5* 0371.10.94.116 5* (+205) 10/* Print value of cell x as number */ < 1421895558 645620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely we have that already? < 1421895574 104042 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Probably a tweak if it isn't a bad edit. < 1421895703 278623 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 M10 02http://esolangs.org/w/index.php?diff=41710&oldid=41709 5* 03Oerjan 5* (+2) 10/* Print value of cell x as number for ANY sized cell (ie 8bit, 16bit, etc) */ Wrap line < 1421895766 325622 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421895775 662367 :antelios!~loathiing@73.163.81.118 JOIN :#esoteric < 1421895878 811381 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=41711&oldid=41710 5* 03Oerjan 5* (+8) 10/* Print value of cell x as number */ cell size < 1421895950 347932 :loathiingsmoker!~loathiing@73.163.81.141 JOIN :#esoteric < 1421895980 282607 :loathiingsmoker!~loathiing@73.163.81.141 PART :#esoteric < 1421896173 495060 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1421896209 302076 :antelios!~loathiing@73.163.81.118 QUIT :Ping timeout: 256 seconds < 1421896238 15526 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421896877 94264 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl JOIN :#esoteric < 1421896892 996638 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=41712&oldid=41711 5* 0371.10.94.116 5* (+254) 10/* Print value of cell x as number for ANY sized cell (ie 8bit, 16bit, etc) */ < 1421896905 240826 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric ::0 < 1421896991 455278 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=41713&oldid=41712 5* 0371.10.94.116 5* (+6) 10/* Print value of cell x as number for ANY sized cell (ie 8bit, 16bit, etc) */ < 1421897068 414092 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :D:< < 1421897363 768257 :aloril_!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi QUIT :Remote host closed the connection < 1421897769 197895 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I wonder if the ::bb:: thing for bolding would work for irc < 1421897805 385071 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :or was it < 1421897815 698596 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :::b:: < 1421897820 466475 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I forgot < 1421897864 41670 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1421897889 968371 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Place to use bots? < 1421897904 61048 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :not here though < 1421897918 594885 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :#bots? < 1421897923 796913 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :thanks < 1421897953 342488 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Was jsut guessing since I figured that's how channel names worked. < 1421897965 378098 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :And then joined right before you. < 1421898037 245529 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=41714&oldid=41713 5* 0371.10.94.116 5* (+58) 10/* Print value of cell x as number for ANY sized cell (ie 8bit, 16bit, etc) */ < 1421898042 495477 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421898207 859600 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=41715&oldid=41714 5* 0371.10.94.116 5* (+193) 10/* Print value of cell x as number for ANY sized cell (ie 8bit, 16bit, etc) */ < 1421898261 60587 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :
ACTION stares around
< 1421898432 185388 :aloril!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi JOIN :#esoteric < 1421898533 376155 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :> 10^10^100 < 1421898555 371225 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :nvm where's that calculation bot < 1421898588 137068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: bold is triggered with a ctrl-B character, you probably need to escape it in your client somehow to insert it < 1421898627 521353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(if you didn't see bold in bold there, your client doesn't support it) < 1421898649 386681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ping < 1421898649 539825 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :pong < 1421898666 710956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: your calculation may be timing out < 1421898682 602734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although, why hasn't it already < 1421898686 5195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^100 < 1421898687 369593 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1000000000000000000000000000000000000000000000000000000000000000000000000000... < 1421898691 833474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^10^100 < 1421898709 27044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1421898711 927818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2 < 1421898713 345511 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2 < 1421898730 752403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f n = f(n+1) in f 1 < 1421898734 484683 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421898757 341767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that timed out, 10^10^100 must be doing something that gets even that to fail < 1421898806 652557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask int-e do you know why > 10^10^100 times out without giving any message? < 1421898806 805769 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421898855 359877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It happens in GMP, I guess? < 1421898860 965800 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1421898863 250967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^1000000000000 < 1421898864 262549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something about uninterruptible calls or who knows. < 1421898873 555511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It behaves differently in ghci too. < 1421898878 874042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1421898897 420897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically GMP doesn't give any error on overflow? < 1421898904 76549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What overflow? < 1421898918 516598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shouldn't that be larger than memory size? < 1421898928 131962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(^) uses repeated squaring < 1421898942 38096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the _result_ is still larger than memory size, eventually < 1421898952 573860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, but presumably it times out before reaching that. < 1421898958 598117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't see why < 1421898964 130700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(^) is implemented in Haskell < 1421898966 595378 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :well < 1421898968 813423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's just using GMP multiplication. < 1421898969 862523 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :oerjan: < 1421898976 916184 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :10^10^100 < 1421898981 589250 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :is a googolplex < 1421898987 267372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: i know it is large < 1421898994 604976 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :And I don't think any bot can handle that < 1421899001 145009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not even... < 1421899003 113396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Googlebot? < 1421899016 163276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: well it couldn't handle 10^1000000000000 either < 1421899045 134451 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1421899051 827418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i was trying to make big enough to outrun memory, but not by too many magnitudes < 1421899070 382538 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :300^300^3000 < 1421899073 624105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1e5 :: Integer < 1421899074 719573 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Real.Fractional GHC.Integer.Type.Integer) < 1421899074 872714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the literal ‘1e5’ < 1421899086 11693 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :e5 isn't that big < 1421899086 617047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it doesn't have your extension :( < 1421899107 284162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: i was just checking if it could use e-notation for Integers < 1421899110 228787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i was about to complain to int-e < 1421899115 586486 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :> 1e1 :: Integer < 1421899116 633236 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Real.Fractional GHC.Integer.Type.Integer) < 1421899116 786648 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the literal ‘1e1’ < 1421899118 954973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf made an extension to ghc for it < 1421899119 108122 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :nah < 1421899120 903167 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let x :: Integer; x = 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 in x*x < 1421899121 961071 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 < 1421899125 129686 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Jesus < 1421899126 916795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :checkmate < 1421899135 285027 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :That's not fair < 1421899136 888361 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :This website has profiles that let users have an about string. If no about string is entered, it defaults to "I love Internet Explorer." < 1421899137 41630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, i forgot the 1 at the beginning < 1421899142 849789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: *cough* < 1421899145 947223 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Also shachaf < 1421899162 727356 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :implementing the e isn't hard < 1421899175 191787 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Does it work? < 1421899183 944938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what are you even doing, Lilax < 1421899197 961166 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :The work of god < 1421899198 859991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i sincerely doubt it errors out at anything that small, sine i've calculated factorials of numbers > 100000 before < 1421899215 339926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: yes, that's not very many bits at all < 1421899240 99821 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :how many bits can lambdabot handle before a crash < 1421899246 568641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway what i thought was happening was a timeout in gmp code < 1421899255 650106 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> 10^10^6 < 1421899257 652027 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1000000000000000000000000000000000000000000000000000000000000000000000000000... < 1421899264 573448 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :10^10^6 * 10^10^6 < 1421899270 180530 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> 10^10^6 * 10^10^6 < 1421899272 12012 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1000000000000000000000000000000000000000000000000000000000000000000000000000... < 1421899285 167597 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> 10^10^12 < 1421899336 983987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: so what's with tensors twh < 1421899338 520922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^10^9 < 1421899367 739630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (6, 10^10^6) < 1421899368 63631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i feel like listening to physicists is the worst way to learn things < 1421899369 289091 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (6,1000000000000000000000000000000000000000000000000000000000000000000000000... < 1421899377 808400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (7, 10^10^7) < 1421899380 526614 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (7,1000000000000000000000000000000000000000000000000000000000000000000000000... < 1421899387 38591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (8, 10^10^8) < 1421899391 161695 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421899399 344955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah an actual timeout < 1421899412 336499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (9, 10^10^9) < 1421899437 627587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now that's weird then < 1421899457 81247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> length (show (10^10^7)) < 1421899462 978495 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421899463 131704 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval: signalProcess: permission denied (Operation not permitted) < 1421899468 249046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fancy < 1421899471 522670 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :tensor means a vector, matrix, or any number of dimensions < 1421899490 650989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> length (show (10^10^7)) < 1421899494 97385 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 10000001 < 1421899497 720567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> length (show (10^10^8)) < 1421899503 40566 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421899503 193853 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval: signalProcess: permission denied (Operation not permitted) < 1421899505 923606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> length (show (10^10^9)) < 1421899523 635735 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :No because < 1421899543 436313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oren: i keep being told that's a terrible definition < 1421899544 415755 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :in the 10^10^8 - 9 areas < 1421899554 22277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except by physicists, and who trusts them < 1421899555 570478 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :is to near googol < 1421899567 755716 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :plex* < 1421899581 250728 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :no < 1421899583 765595 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I'm dumb < 1421899592 636306 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I apparently can't read < 1421899607 968319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> logBase 2 10 * 10^8 < 1421899609 418937 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.321928094887363e8 < 1421899616 888756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> logBase 2 10 * 10^9 < 1421899618 247957 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.3219280948873625e9 < 1421899640 305406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's around a gigabit < 1421899665 980504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> logBase 256 10 * 10^9 < 1421899667 368637 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4.152410118609203e8 < 1421899671 306858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that second result was enlightening hth < 1421899710 766969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but less than a gigabyte < 1421899919 650281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you can take tensor products of vector spaces, that's a start < 1421900001 733389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: the tensor product of two vector spaces is defined by the universal property wrt. bilinear maps from them < 1421900002 253730 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> length (show (2^2^26)) < 1421900003 732788 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and those are defined as a left adjoint to the internal hom < 1421900006 364652 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421900015 135544 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> length (show (2^2^27)) < 1421900017 295864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or what you said, which is p. close to the same thing < 1421900023 16446 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval: signalProcess: permission denied (Operation not permitted) < 1421900023 169827 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421900032 341710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: HireFly < 1421900039 269121 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> length (show (2^2^28)) < 1421900042 314133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :istr something like all universal properties are adjoints < 1421900044 913366 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval: signalProcess: permission denied (Operation not permitted) < 1421900045 66627 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421900054 512489 :mitchs!~canissimi@unaffiliated/canissimia PRIVMSG #esoteric :> length (show (2^2^29)) < 1421900064 860706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you look at them the right way < 1421900068 340595 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval: signalProcess: permission denied (Operation not permitted) < 1421900068 493723 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1421900118 264313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: well, we're talking about a slightly different one here, with (A ⊸ (B ⊸ C)) ~ (A ⊗ B ⊸ C) < 1421900128 161086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it's the same idea at any rate < 1421900148 531881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a linear map from the tensor product is like a bilinear map from the cartesian product. or something < 1421900182 790537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is nicer than talking about multidimensional arrays but doesn't give me much intuition < 1421900231 62285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see a number of blank squares, and am not sure if you mean them all to be tensor products because then you're just saying associativity < 1421900243 682218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(A -o (B -o C)) ~ (A (x) B -o C) < 1421900248 140430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :where -o is linear map < 1421900280 254081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1421900314 842342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose the left is the same as the set of bilinear maps from A and B to C < 1421900319 152492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1421900338 942479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's funny because usually you define the cartesian product first and then define exponentials in terms of it < 1421900341 937124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(in a category) < 1421900348 829279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but here you start with the internal hom < 1421900378 513783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's not a CCC < 1421900390 797325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it's a MCC? < 1421900402 309594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think so? < 1421900438 370218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway, so i should get some intuition for this operation < 1421900444 903012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the subspaces of hilbert spaces are said to satisfy the orthomodular law < 1421900457 324780 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :e.g. they say that if V and W are n- and m- dimensional, V(x)W is nm-dimensional < 1421900481 614823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you know for that looking at bases might actually be simplest < 1421900532 95521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a basis for V(x)W can simply be pairs of basis elements for V and W < 1421900565 281896 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then you can check that that fulfils the universal property < 1421900667 99613 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :makes some sense, since it's linear in both of them separately < 1421900770 556454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :might wonder if you can show point-freely that the tensor product of the free vector spaces on sets S and T is a free vector space on S x T < 1421900800 854735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps that holds more generally than vector spaces < 1421900837 490031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION leaves this to you as the CT expert btw
< 1421900894 516034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what is the "more general" version of tensor product < 1421900915 479793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :left adjoint to the internal hom? < 1421900933 845123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm, there's no general definition of internal hom < 1421900939 224061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so that doesn't worka < 1421900942 765402 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/.$// < 1421900971 365099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, but you could assume that it exists and try to prove it from that? < 1421900984 843835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what properties would it have < 1421900995 772490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :presumably you're not taking any ol' monoidal category < 1421901016 349852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is actually rather weak on monoidal categories hth hth
< 1421901047 898544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is hth associative < 1421901050 242669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like a group action < 1421901052 773974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1421901069 852515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i keep forgetting that the script doesn't work with actions < 1421901080 76382 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why don't you just turn the script off twh < 1421901122 477574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now that's crazy talk < 1421901127 792890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway monoidal category just means you have a "product" bifunctor with an identity in the obvious way < 1421901171 993539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway for the inner hom you want exponentials no? < 1421901209 633139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, exponentials are right adjoint to cartesian product < 1421901216 120958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean categorical product. whatever it's called < 1421901219 942333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's not the same as tensor product < 1421901223 382428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1421901225 15641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(for this case, at least) < 1421901296 472138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok maybe it's not easy to generalize < 1421901327 671599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it would be a good generalization if it is < 1421901467 190930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway, so this tensor product thing exists, great < 1421901549 524460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and an tensor on V is defined to be V(x)V(x)...(x)V(x)V(x)V*(x)V*(x)...(x)V*(x)V* < 1421901564 389285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :an (n,m)-tensor, where the number of Vs is n and the number of V*s is m < 1421901586 318152 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :My understanding is: basically the tensor has two types of indexes, the covariant ones which are summed over upon application, and the contravariant which are not. < 1421901610 778130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo one step at a time < 1421901622 736870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what are indexes and application and summing and so on < 1421901642 768872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think he's referring to einstein notation < 1421901651 693987 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :indexes are the dimensions of the multidimensional array < 1421901654 174316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is _very_ coordinate based < 1421901665 793640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm not talking about multidimensional arrays right now hth < 1421901667 363670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also does implicit summation < 1421901676 108577 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :einstein notation always looked like scow to me anyway < 1421901687 442991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but but einstein... < 1421901693 610762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe it's a convenient notation when you're doing things but not convenient for figuring out what they mean < 1421901729 275966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so V* = (V -> F), where F is our field, right? < 1421901744 211257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why do we distinguish between covariant and contravariant Vs, given that they're isomorphic? < 1421901748 868630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(but not naturally) < 1421901787 630339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: because you want V and V* to live in the tangent bundle on a manifold < 1421901817 405750 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :because the covariant ones are summed over, like the horizontal of a matrix,but the contravariant ones remain in the result, like the vertical of a matrix < 1421901820 306569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically distinguishing allows to express physics equations so they _are_ natural < 1421901839 505537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oren: what's with the matrices hth < 1421901855 205699 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :matrix is a (1,1) tensor < 1421901866 387969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: please don't provoke shachaf with this low-level intuition twh hth < 1421901896 673661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's how i learnt about tensors first myself, but still i don't think it's what he's after) < 1421901903 883755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so a (1,1) tensor -- i.e. an element of V(x)V* -- is a linear map < 1421901910 53670 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :yup < 1421901914 230232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess it's a linear map : V* -o V < 1421901926 982653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, : V -o V < 1421901929 186391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no, V -o V < 1421901937 435871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is a linear map : V -o W a tensor? < 1421901953 557968 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :yes < 1421901960 368448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what sort of tensor? < 1421902046 109315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :V*(x)W obviously < 1421902067 803611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so it's a tensor product, sure, but it's not a tensor, is it? < 1421902082 197085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am unsure of the nomenclature here < 1421902085 666555 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :and (1,1). the (n,m) tells you nothing about the size of the dimensions only their number < 1421902096 47182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm going by https://en.wikipedia.org/wiki/Tensor_(intrinsic_definition) < 1421902148 778031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can also say that an (n,m) tensor is a multilinear map : V x ...m... x V x V* x ...n... x V* -> F < 1421902159 308652 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :where you switch which spaces are dual to keep the same variance < 1421902207 89941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how do we go from (V -o V) to (V (x) (V -o F))? < 1421902450 893564 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :a linear map from V to F would be a (0,1) tensor < 1421902460 782893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: use the bilinear map that is simply application of the functional to the vector? < 1421902486 271161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no wait < 1421902497 409308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION thinking backwards
< 1421902575 951193 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :and a vector is a (1,0) tensor. so V (x) (V -o F) would be a (1,1) tensor (the dimensions add) < 1421902589 575978 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1421902672 48282 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1421902720 601159 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1421902761 24464 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1421902827 309151 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if -o is the notation for a linear map then the notation for a multilinear map must be -ꙮ < 1421902863 645028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think you might need to use V** ~ V in there < 1421902879 286727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because i don't think it is true for infinite dimensional spaces < 1421902895 330770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok < 1421903000 142858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(V -o V) (V -o ((V -o F) -o F)) ((V (x) (V -o F)) -o F) < 1421903006 838103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ugh my internet connection is a class-E scow right now < 1421903070 706899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway going from that last thing to V* (x) V is presumably pretty straightforward < 1421903080 489607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1421903092 224846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION may not have the brain for this
< 1421903138 306299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're p. helpful so far tdh hth < 1421903147 86663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1421903157 891514 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :But multiplying a (0,1) tensor and a (1,0) will only give you linear maps where all the components of result are linear to each other < 1421903171 879668 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's multiplying tensors < 1421903209 809707 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :you multiply all components with each other < 1421903213 914874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :taking the paired basis elements, basically < 1421903221 238199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's components < 1421903225 95058 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :numbers < 1421903230 308273 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :n F < 1421903247 981481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are we somehow talking about multidimensional arrays again < 1421903273 329036 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :obviously... the tensor product is defined in terms of numbers < 1421903284 670018 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :in the field F < 1421903300 275030 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :over which your vector space is defined < 1421903326 805287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look we defined the tensor product already < 1421903333 584249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with a universal property < 1421903339 48785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and paired basis elements on top of that < 1421903341 953757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no numbers in sight < 1421903419 771138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok, so i believe that a (1,1) tensor is a linear map : V -o V < 1421903447 401493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i suppose that if you choose bases or coordinates or whatever then each element of the matrix corresponds to one pair of basis elements? < 1421903459 168159 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :exactly... < 1421903650 58768 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1421903849 787021 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :i suppose you could define the basis of the space of (1,1) tensors, as the set of linear maps which project onto the ith basis and scale the jth basis by the result... < 1421903914 837185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did oerjan leave due to lack of brain :'( < 1421903970 354002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :previous statement not intended in the rude way that an observer without context might interpret it hth < 1421903977 419377 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :symbollically... E_ij(v) = (v . e_i)e_j < 1421904001 476335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what do these symbols mean hth < 1421904002 869486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if i only had a brain < 1421904081 467242 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Um... E_ij is the i,jth basis element for the set of (1,1) tensors, e_i is the ith element of the basis of V, v is a arbitrary vector, . is a dot product < 1421904126 58640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, don't you write e_i^j or something < 1421904150 973359 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :That's for components of tensors < 1421904177 85993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh so what's E < 1421904200 105190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok you're just talking about matrices here < 1421904205 949183 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :E is a list of basis elements for the set of (1,1) tensors < 1421904211 684233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1421904282 436488 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I'm basically showing we can create a basis for the (1,1) tensors from a basis for the vectors < 1421904345 233677 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :although really i dunno whther such construction can be made general < 1421904529 435578 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :i guess the idea is, use the functions f_i(v) = (v . e_i) as a basis for the (0,1) tensors, given that e_i form a basis for the (1,0) tensors... < 1421904841 604866 :glguy!~glguy@unaffiliated/glguy JOIN :#esoteric < 1421904934 717921 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :then the tricky bit is proving that given a basis B for the (n,m) tensors and a basis E for the (k,l) tensors, that the products of each member of B with each member of E form a basis for (k+n,m+l) tensors < 1421904964 527752 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421904991 372630 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :in using the matrix notation for tensors we are essentially assuming that the above is true < 1421905842 71746 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 276 seconds < 1421906313 943870 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I am confuse < 1421906708 913410 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :don't worry, I am too < 1421907080 627587 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :http://is.gd/k2NuAY < 1421907097 729446 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I had made 20 pancakes < 1421907124 631323 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :-had < 1421908113 166434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION expected picture of pancakes and was disappointed
< 1421908218 297665 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :http://esolangs.org/wiki/Pancake_Stack < 1421908229 627736 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :lol < 1421908257 726398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :STILL NO PANCAKES < 1421908270 114075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: http://25.media.tumblr.com/tumblr_lq4287y4CJ1qmqpiro1_1280.jpg hth < 1421908380 917029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does someone want a pancake / while we've still got 'em? < 1421908392 213189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION
< 1421908448 911504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think you missed your cue hth < 1421908492 115245 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :http://nuttygod.tumblr.com/image/108806826655 < 1421908494 974795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :still missing it twh < 1421908496 953881 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Hey, it's an English-like esolang that isn't a BF derivative! < 1421908499 260311 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :What about that < 1421908502 305674 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Anyways < 1421908507 248089 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :ye so I made pancakes < 1421908518 351806 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Didn't eat any of them < 1421908521 180151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you forgot to make the proper rhyme hth < 1421908527 994548 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Wonder if could make language that looks stack based but is really BF < 1421908543 94081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: wait is this a reference to something < 1421908552 747352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you just linked it < 1421908558 434602 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :lol < 1421908570 764190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: oh tdh < 1421908588 445810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my accent must be incompatbile with that < 1421908596 518166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ible < 1421908645 914900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :possibly it works in no accent known to man < 1421908651 488818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wouldn't know < 1421908671 525360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: i'm missing emperor palpatine somewhere between 2 and 3 < 1421908697 518044 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :There's a flaw in the Swedish language in one small town where yes is pronounced as a sharp intake of breath < 1421908715 968230 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :,in one* < 1421908723 292865 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Man my english is bad < 1421908737 237768 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Grammatical skills for typing < 1421908738 89842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's more than just one small town and wasn't this discussed earlier? < 1421908756 208351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also you cannot call it a "flaw" that's not how language works < 1421908771 429535 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Well < 1421908782 44041 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :was it discussed earlier? < 1421908793 251352 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I thought it was in just one part of Sweden < 1421908809 901414 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :But.. Why a sharp intake for yes. < 1421908861 350327 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Sgeo: In India they bobble their heads side to side for yes < 1421908872 820638 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Lilax: In India they bobble their heads side to side for yes < 1421908875 808695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well _someone_ a few days ago asked me if i pronounced yes like that < 1421908897 600910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i don't. also i'm norwegian if anyone's confused.) < 1421908912 352452 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I know < 1421908916 910701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i'm also norwegian if no one's confused, but i find that unlikely.) < 1421908918 499766 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you answer by moving your head twh < 1421908930 912624 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i don't remember < 1421908942 287009 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1421908979 185940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think my response head movements are pretty normal for a western european < 1421908980 212658 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Yes is Norwegian is ja < 1421908986 740963 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :so no probably < 1421908997 290669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: it's ja in swedish too < 1421909004 990905 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I say 'ya' in english too < 1421909023 817414 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I pronounce exclamations < 1421909028 633600 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :I don't know why. < 1421909092 767914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: btw the sharp intake is supposed to be simultaneous with a "ja" hth < 1421909098 106369 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :'ya' sounds like no in japanese though < 1421909131 745567 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Don't you have to be exactly on point with puncuation in Japanese < 1421909146 70411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1421909150 969309 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :ixk < 1421909153 467186 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :idk* < 1421909160 726327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: isn't that word so impolite that they almost never use it < 1421909195 638043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey, what happened to the unicode haiku < 1421909237 964636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote HIRAGANA < 1421909238 766947 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1421909272 25480 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :well yeah, generally no in Japanese is u-un or iie, but in a dramatic situation IYA! is the word you shout < 1421909296 868768 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :you hear it a lot in anime and dramas etc. < 1421909359 131535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: is it gone? < 1421909373 591598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? haiku < 1421909374 608371 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :haiku? ¯\(°​_o)/¯ < 1421909381 861773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: yes < 1421909392 894125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe someone thought it was gibberish < 1421909420 162679 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :is gibberish with a hard or soft g? < 1421909456 257802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAAAAAAAA < 1421909490 862375 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Its < 1421909507 365060 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Pronounced in my understand jib-er-ish < 1421909523 29989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if only english had glottal stops < 1421909533 973178 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :Ye < 1421909538 426088 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :what are those again < 1421909577 260986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesn't it have them before vowels < 1421909594 19816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i read jib-er-ish as if it had glottal stops < 1421909662 226970 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :shachaf: there is a glottal stop in the english uh-oh... < 1421909672 524204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there is also one in the english up and over < 1421909675 168003 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :and < 1421909688 623553 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :self- word here < 1421909689 994905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ok only at the beginning of words hth < 1421909756 227298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo the system where it's another consonant is better < 1421910017 568101 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl PRIVMSG #esoteric :the system where every letter is accented and is a vowel < 1421910177 260006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i cannot find any relevant removal less than 19 months old hth < 1421910246 467801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how about greater than or equal to 19 months old twh < 1421910264 888476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1421910368 136499 :pikhq!~pikhq@deagol.pikhq.com QUIT :Ping timeout: 244 seconds < 1421910375 555647 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1421910832 140621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :make the 24 months hth < 1421910835 319967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*that < 1421910870 355613 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/rev/85805e0c2335 < 1421911144 801081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, that's not evidence that it was a quote < 1421911154 654447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe it was never added < 1421911217 341926 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :
ACTION would say he has successfully been advertised to... for a product that doesn't currently exist
< 1421911244 677262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: https://en.wikipedia.org/wiki/Limonana hth < 1421911270 381975 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :As far as I know that thing you linked exists. < 1421911296 199888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you read the history twh < 1421911321 555660 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :Twh? < 1421911328 507283 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Ah < 1421911340 463505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that would help < 1421911341 614034 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :That would help? < 1421911385 23189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ah that proves i've search far enough back... < 1421911398 703690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote swede < 1421911399 458645 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :357) as always in sweden everything goes to a fixed pattern: thursday is queueing at systembolaget to get beer and schnaps, friday is pickled herring, schnaps and dancing the frog dance around the phallos, saturday is dedicated to being hung over \ 654) (I vehemently oppose the SNP because they want closer ties with Sweden < 1421911405 830441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops < 1421911409 314146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote ꙮ < 1421911410 18822 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1138) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." < 1421911416 926973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i was thinking of that one < 1421911485 193668 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :-ꙮ is my best accomplishment of the day < 1421911504 605061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'll have to write a linear algbera book to popularize it < 1421911511 176178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'll also throw in some monad analogies < 1421911558 34120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :first you have to make it show up properly in clients hth < 1421911590 371463 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421911641 613158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it shows up properly in proper clients and improperly in improper clients hth < 1421911668 312808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1421911689 426735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i do, perhaps, include putty in the setup < 1421911778 131026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode [MAHJONG TILE AUTUMN][HIRAGANA LETTER YA][SNOWMAN WITHOUT SNOW] < 1421911779 663377 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+0000 \ UTF-8: 00 UTF-16BE: 0000 Decimal: � \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0001 \ UTF-8: 01 UTF-16BE: 0001 Decimal:
\ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0002 \ UTF-8: 02 UTF-16BE: 0002 Decimal:  \  \ Category: Cc (Other, C < 1421911783 787664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ff < 1421911793 767574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode [MAHJONG TILE AUTUMN] < 1421911795 36709 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+0000 \ UTF-8: 00 UTF-16BE: 0000 Decimal: � \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0001 \ UTF-8: 01 UTF-16BE: 0001 Decimal:
\ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0002 \ UTF-8: 02 UTF-16BE: 0002 Decimal:  \  \ Category: Cc (Other, C < 1421911800 931406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode MAHJONG TILE AUTUMN < 1421911801 829130 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​🀨 < 1421911819 964854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode HIRAGANA LETTER YA < 1421911820 752673 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​や < 1421911839 70043 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :shachaf: monads are ꙮ? probably one of the best monad analogies around < 1421911840 70340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode SNOWMAN WITHOUT SNOW < 1421911840 974917 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⛄ < 1421911856 999823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, hi olsner < 1421911869 121959 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls bin/*slash* < 1421911869 992764 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/slashes \ bin/slashlearn < 1421911895 871157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: Well, you have an adjunction, so you do get a monad of some sort there. < 1421911910 436647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slashlearn haiku/🀨や⛄ < 1421911912 888351 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «haiku» < 1421911923 934884 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? haiku < 1421911924 811820 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​🀨や⛄ < 1421911937 121358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :aren't you missing a character there < 1421911942 275555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, maybe my client is improper < 1421911952 6716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't see the last one either < 1421911958 758915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :⛄ < 1421911966 62197 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what a scow < 1421911971 774229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i thought i'd finally made it work < 1421911992 48153 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :shachaf: there's an adjunction in ꙮ? what does that even mean < 1421912010 873799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: Well, defining the tensor product. < 1421912034 517752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you weren't around earlier. < 1421912039 422091 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I use A -o B to mean a linear map < 1421912048 390701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I decided to use A -ꙮ B to mean a multilinear map < 1421912186 467692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`icode ⊸ < 1421912187 346827 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+22B8 MULTIMAP] < 1421912195 98461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :apparently unicode has a different use in mind for that character < 1421912234 757729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that limonana is some effective marketing < 1421912252 752130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: would you like a glass hth < 1421912279 504412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm afraid i'm very fond of lemon < 1421912282 373547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*not < 1421912292 677231 :chaosagent!~quassel@98.210.97.139 QUIT :Ping timeout: 245 seconds < 1421912295 201487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i suppose the appropriate acronym to end that question with was "wth" < 1421912296 183296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can pour some on my fingers, they obviously like it < 1421912311 549290 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you fond of nana < 1421912332 97597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :certainly < 1421912381 854440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'TIL THE WHITE ROSE BLOOMS AGAAAAIN... < 1421912387 96413 :pikhq!~pikhq@deagol.pikhq.com JOIN :#esoteric < 1421912395 382705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you really learn that today hth < 1421912424 436449 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :hmm, http://www.pagetable.com/?p=774 - apparently basic for 6502 was written in PDP-10 assembly, with macros to trick it into generating 6502 code instead < 1421912426 71174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um no i've known that song for years? < 1421912466 483421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the joke was how i read the first word of your sentence hth < 1421912475 152745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1421912484 495952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*TILL < 1421912528 316877 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :is there a difference in meaning between till and until? < 1421912545 247765 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :You put money in one? < 1421912546 889657 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :or 'til < 1421912562 367649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: not that i know of. < 1421912563 734151 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :`thanks glguy < 1421912564 492293 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, glguy. Thuy. < 1421912623 522854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :somehow that doesn't seem appropriate like an appropriate `thanking < 1421912674 771545 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :if you read glguy as a single syllable, with glg as a consonant cluster or the spelling of a weird consonant, that works I think < 1421912693 409916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`thanks shachaf < 1421912694 183584 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, shachaf. Thachaf. < 1421913271 508158 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :`thanks olsner < 1421913272 207263 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, olsner. Tholsner. < 1421913365 28612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`thanks cranks < 1421913365 686045 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, cranks. Thanks. < 1421913394 356735 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :`thanks thanks < 1421913395 114503 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, thanks. Thanks. < 1421913863 145651 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421914492 984469 :Sprocklem_!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1421914520 876344 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1421915359 159543 :stuntaneous!~stuntaneo@2001:1af8:4700:a000:4:: QUIT :Ping timeout: 244 seconds < 1421915991 286376 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 244 seconds < 1421916677 235694 :Lilax!uid52684@gateway/web/irccloud.com/x-rxzfakdmkejcmxpl QUIT :Read error: Connection reset by peer < 1421916747 117505 :bb010g!uid21050@gateway/web/irccloud.com/x-roosykjjsejrzzyv QUIT :Ping timeout: 265 seconds < 1421916762 164324 :supay!sid47179@gateway/web/irccloud.com/x-ajtlyphfoveytkxr QUIT :Ping timeout: 276 seconds < 1421916801 131379 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :Ping timeout: 276 seconds < 1421916845 940325 :Lilax!uid52684@gateway/web/irccloud.com/x-tbloculsmwztspbc JOIN :#esoteric < 1421917114 937005 :Lilax!uid52684@gateway/web/irccloud.com/x-tbloculsmwztspbc QUIT :Ping timeout: 272 seconds < 1421917146 417980 :supay!sid47179@gateway/web/irccloud.com/x-hubsprjfiepqvumo JOIN :#esoteric < 1421917496 610437 :ocharles_!sid30093@gateway/web/irccloud.com/x-hgmrwlxdfouskbrb JOIN :#esoteric < 1421917607 940069 :Lilax!uid52684@gateway/web/irccloud.com/x-xujkygnpprxxajlo JOIN :#esoteric < 1421917800 323131 :bb010g!uid21050@gateway/web/irccloud.com/x-grhxdqycxrhokwgo JOIN :#esoteric < 1421918773 568317 :jameseb-!~jameseb_@runciman.default.hacksoc.uk0.bigv.io NICK :jameseb < 1421919097 952891 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1421919321 767030 :Lilax!uid52684@gateway/web/irccloud.com/x-xujkygnpprxxajlo QUIT :Quit: Connection closed for inactivity < 1421920293 486055 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 252 seconds < 1421921593 634614 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1421925420 807316 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1421927851 553271 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1421927936 242107 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1421928427 715879 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421928670 601771 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 JOIN :#esoteric < 1421928671 584303 :vapse!c1db0c34@gateway/web/freenode/ip.193.219.12.52 JOIN :#esoteric < 1421928676 774363 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PRIVMSG #esoteric :hi < 1421928703 583239 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PRIVMSG #esoteric :need some explanation about solving one shit, who can help me? < 1421928743 637286 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PRIVMSG #esoteric :http://i.imgur.com/ERVFrrx.png < 1421928748 682923 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PRIVMSG #esoteric :need to solve his shit < 1421929053 280570 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 256 seconds < 1421929359 516774 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Where is that from? < 1421929381 792156 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :yeahello_right. it's a canal. and the sky is gray. < 1421929387 877092 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(and the sky is graaaayyy ♪) < 1421929405 845430 :boily!~alexandre@96.127.201.149 QUIT :Quit: ETERNAL CHICKEN < 1421929596 219220 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PRIVMSG #esoteric :its from geocaching task < 1421929699 386304 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PRIVMSG #esoteric :boily get lost < 1421929907 470498 :yeah_right!c1db0a82@gateway/web/freenode/ip.193.219.10.130 PART :#esoteric < 1421930273 8929 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> -1 `mod` 5 < 1421930274 399662 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -1 < 1421930277 238023 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :crap < 1421930336 112900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (-1) `mod` 5 < 1421930337 326979 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1421930345 865842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haskell sucks < 1421930367 940401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that parses as -(1 `mod` 5) < 1421930370 624081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yours I mean < 1421930788 586611 :vapse!c1db0c34@gateway/web/freenode/ip.193.219.12.52 QUIT :Quit: Page closed < 1421930993 978811 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :really? < 1421930999 833621 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :no wai < 1421931004 623483 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> (-1) `mod` 5 < 1421931006 4701 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1421931007 424718 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :lulz < 1421931013 208851 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :haskell suckz modz < 1421931446 253755 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421932205 985907 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421932284 70411 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1421932412 820790 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1421933766 88905 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1421934082 708198 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421934312 65082 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 276 seconds < 1421934958 177876 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Read error: Connection reset by peer < 1421934963 664445 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421934964 960837 :G33kDude!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1421935286 966282 :TieSleep!~quassel@86.89.119.147 NICK :TieSoul < 1421935520 570705 :nairanvac!~nairanvac@107.0.93.114 JOIN :#esoteric < 1421935727 309665 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :"Exercise: make identifiers as general as possible (but no more so)" < 1421935842 287643 :Melvar!~melvar@dslb-178-012-191-057.178.012.pools.vodafone-ip.de PRIVMSG #esoteric :Context? < 1421935888 895912 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421935916 16703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let thing = 42, process x = x+23 in process (process thing) < 1421935917 90076 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:15: parse error on input ‘,’ < 1421935922 197938 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let thing = 42; process x = x+23 in process (process thing) < 1421935923 748382 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 88 < 1421935951 635546 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Not enough beans < 1421935975 130091 :nairanvac!~nairanvac@107.0.93.114 PART #esoteric :"(Byrd IRC Client // haxed.net)" < 1421935978 323315 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe "thing" is too general and it should be "number" instead. I'm not sure. < 1421935982 743868 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1421935991 917525 :Lilax!uid52684@gateway/web/irccloud.com/x-qtnkeibdwqkauvxk JOIN :#esoteric < 1421936020 869130 :Lilax!uid52684@gateway/web/irccloud.com/x-qtnkeibdwqkauvxk PRIVMSG #esoteric :oh man i2p is weird < 1421936070 544774 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Melvar, it's from my uni course < 1421936099 464175 :Lilax!uid52684@gateway/web/irccloud.com/x-qtnkeibdwqkauvxk PRIVMSG #esoteric :Hey Taneb < 1421936104 502159 :Lilax!uid52684@gateway/web/irccloud.com/x-qtnkeibdwqkauvxk PRIVMSG #esoteric :o/ < 1421936116 705705 :Lilax!uid52684@gateway/web/irccloud.com/x-qtnkeibdwqkauvxk PRIVMSG #esoteric :Also bye < 1421936162 463055 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421936167 774440 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :??? < 1421936172 227213 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> all (\b -> ap (==) reverse $ showIntAtBase b ("012"!!) 24014998963383302600955162866787153652444049 "") [2,3] < 1421936173 625617 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1421936207 326817 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Now I'm out of disk space. < 1421936458 921031 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :That's a new one... (spam) "I got your email address from the yahoo tourist search [...]" < 1421936482 230975 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::r < 1421936491 129649 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1421936535 763940 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... US$8.500,000.00 ... <-- the two decimal points are a cute touch. < 1421936562 457629 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently that's a stock phrase < 1421936568 160539 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@google "yahoo tourist search" < 1421936569 676529 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://419.bittenus.com/9/5/musawalter.html < 1421936569 829879 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: musa walter: I GOT YOUR CONTACT FROM YAHOO TOURIST SEARCH < 1421936714 175682 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wow I got a lot of those today, I should add the figures < 1421937021 603324 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (4.2 + 8.5 * 0.4 + 10.5 * 0.4 + 7.3 * 0.3, 25 + 10.6) -- the latter two didn't say anything about how much I get to keep < 1421937023 17608 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (13.99,35.6) < 1421937031 303810 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's in Million USD, of course. < 1421937037 490220 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :good day. < 1421937052 25616 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Better check that the offers are not exclusive < 1421937069 115700 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :they're all exclusive and confidential of course. < 1421937081 89139 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Ping timeout: 276 seconds < 1421937082 726117 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so damn, I guess I no longer qualify. < 1421937136 355332 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(there's an exception; the 4.2 figure is one of those refund-for-scammed-people fund meta-scams) < 1421937180 595727 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And I didn't mention the 450k Euro I won from google. < 1421937190 118408 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Maybe you should take one of those other scams so that you can qualify for the refund scam < 1421937275 373834 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe < 1421937437 211396 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: it says $8.500,000.00, not $8,500,000.00 < 1421937438 967431 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :quite different < 1421937444 109395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you would receive $8.50 < 1421937492 463019 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you and I both know that's not what they meant :P < 1421937533 16372 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote :r < 1421937534 669443 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1421937539 619354 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote quote < 1421937540 607318 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :27) i can get an erection out of a plank, you can quote me on that. \ 65) Note that quote number 124 is not actually true. \ 71) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 124) Never ever use a quote which contains both the words "aloofness" a < 1421937550 815191 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1421937576 178886 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :There should be quotes about meta-quotes . < 1421937577 685661 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote 124 < 1421937578 703935 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :124) Never ever use a quote which contains both the words "aloofness" and "gel" (verb). < 1421937599 976483 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote meta < 1421937600 795133 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :308) I was more of a pervert in Metaplace than Utherverse I invented Metaplace sex >.> \ 358) i never meta turing. he died before i was born. \ 359) oerjan: can you delete that and the meta turing completeness page thanks elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET \ 511) o < 1421937628 747384 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote 511 < 1421937629 397166 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :511) oh no, I think we've managed to mix three metaphors in a way that actually makes sense < 1421937642 265825 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that sounds like fun < 1421937776 114894 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :`quote rummy < 1421937777 161365 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :431) So it's like... Rummy mixed with... breakout? < 1421937849 617528 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :https://twitter.com/KeLuKeLuGames/status/557226441838833665/photo/1 < 1421938809 251023 :oren!~oren@user3-218-60.wireless.utoronto.ca JOIN :#esoteric < 1421939398 251466 :oren!~oren@user3-218-60.wireless.utoronto.ca QUIT :Quit: Lost terminal < 1421939631 567874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET < 1421939632 22691 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: what's a typeclass? :) htmlprag?! :(". this isn't; it calls out to rand(3). < 1421939633 18368 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :"Rapid E-Learning" < 1421939634 61168 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I see < 1421939738 415179 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot,