< 1519171329 852429 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519171983 832639 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1519174015 932313 :SIR!~S1R@2a00:23c5:f86:9200:1c9c:1c78:e98b:1223 QUIT :Quit: Leaving < 1519174349 623668 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1519175719 644684 :augur!~augur@65.48.130.123 QUIT :Remote host closed the connection < 1519176469 770904 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`olist 1113 < 1519176470 611789 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 1113: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1519176502 859970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thoerjan < 1519176872 679371 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :wow that's late < 1519176890 818302 :APic!apic@apic.name PRIVMSG #esoteric :*shrug* < 1519176908 903828 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1519177179 6338 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hoily. < 1519177244 731875 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :bonsœøirjan! < 1519177257 606136 :APic!apic@apic.name PRIVMSG #esoteric :Gesundheit. < 1519177345 930952 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :APHic! < 1519177364 279986 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :shachaf: You know, I've not really put much thought into infinitary tensor products, but maybe? < 1519177378 624188 :APic!apic@apic.name PRIVMSG #esoteric :boilHy. < 1519177383 940898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Hale < 1519177402 413190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a standard notion of the inverse of a tensor? I don't remember if I asked. < 1519177440 623538 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I think you'd have to say exactly what you mean in any case. < 1519177492 769012 :APic!apic@apic.name PRIVMSG #esoteric :Captain: What You say !! < 1519177498 785026 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :When the tensor can be regarded somehow as a linear map between some spaces that happen to be isomorphic, then you can talk about the inverse :) < 1519177511 234758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1519177521 270152 :APic!apic@apic.name PRIVMSG #esoteric :Right. < 1519177528 14682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People talk about the inverse Hessian, for example. < 1519177528 798564 :APic!apic@apic.name PRIVMSG #esoteric :Good old Wormholes. ;) < 1519177535 457664 :APic!apic@apic.name PRIVMSG #esoteric :Moar. < 1519177538 983530 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Ah, well, they're thinking of it as a matrix usually. < 1519177545 606877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, but it isn't. < 1519177568 515084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If the Hessian is a (0,2) tensor : V -o (V -o F), you can say the inverse Hessian is a (2,0) tensor : (V -o F) -o F mapping covectors to vectors. < 1519177572 906464 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Yeah, at least, it's a little unnatural (if notationally convenient) to think of it that way < 1519177574 329618 :APic!apic@apic.name PRIVMSG #esoteric :Ghost in the Shell >> Matrix < 1519177579 541141 :APic!apic@apic.name PRIVMSG #esoteric :» < 1519177579 816054 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, (V -o F) -o V < 1519177580 364977 :APic!apic@apic.name PRIVMSG #esoteric :Even < 1519177581 46570 :APic!apic@apic.name PRIVMSG #esoteric :☺ < 1519177594 705792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or equivalently : V⊗V < 1519177615 798494 :APic!apic@apic.name PRIVMSG #esoteric :k < 1519177620 980936 :APic!apic@apic.name PRIVMSG #esoteric :,o0(Vulva) < 1519177667 606626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If the Hessian is H^i^j, the inverse Hessian is some G_i_j such that H^i_j G_j_k = 1^i_k < 1519177670 650348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right? < 1519177685 446427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In what cases is this sort of thing defined? Potentially for every tensor of even rank? < 1519177696 262025 :APic!apic@apic.name PRIVMSG #esoteric :Right^W^W^WWait… < 1519177696 720387 :APic!apic@apic.name PRIVMSG #esoteric :😉 < 1519177708 815509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :APic: Please stop it. < 1519177712 250375 :APic!apic@apic.name PRIVMSG #esoteric :shachaf: k < 1519177761 454560 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :shachaf: You could even talk about contracting multiple indices maybe? < 1519177765 824762 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I don't know. < 1519177785 651647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Well, I wanted the answer to come out numerically to the same thing as inverting the Hessian matrix. :-) < 1519177820 892721 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :But yes, the stuff you said about the Hessian specifically is right. < 1519177845 672116 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I'm not sure what the right way to generalise would be < 1519177874 212378 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You're perhaps looking at Newton's method? < 1519177880 394318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have f(x) = A + B(x) + C(x,x), then f'(x)(dx) = B(dx) + 2C(x,dx). The critical points of f are those x such that B(dx) + 2C(x, dx) = 0 for all dx < 1519177904 146961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which you can solve using this inverse Hessian by contracting one index. Right? < 1519178228 405977 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519178319 696982 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I'm not sure that I understand yet... let's write what the Hessian is here... < 1519178331 643229 :APic!apic@apic.name PRIVMSG #esoteric :Uh oh. < 1519178342 668286 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :? < 1519178349 373952 :APic!apic@apic.name PRIVMSG #esoteric :! < 1519178528 790731 :skankyyoda!~dank@unifi-student-70.nat.access.uwa.edu.au JOIN :#esoteric < 1519178545 795769 :APic!apic@apic.name PRIVMSG #esoteric :Hi skankyyoda < 1519178671 56375 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :shachaf: ah, so you're saying basically we invert C itself, pretty much < 1519178695 226242 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :(well, C reimagined as a linear map) < 1519178729 370311 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah, yeah, I see < 1519178737 359760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are various ways to reimagine C. But mapping covectors to vectors seems pretty natural. < 1519178752 981339 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I feel like we need slightly better notation < 1519178779 229708 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Differential geometry is the study of smooth manifolds under change of notation ;) < 1519178803 927920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@remember Cale Differential geometry is the study of smooth manifolds under change of notation ;) < 1519178804 202391 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :It is forever etched in my memory. < 1519178805 192559 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1519178816 924847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, do we addquote or remember in here? < 1519178847 367147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`addquote Differential geometry is the study of smooth manifolds under change of notation ;) < 1519178849 24463 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1321) Differential geometry is the study of smooth manifolds under change of notation ;) < 1519178849 207372 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :brb < 1519178898 699867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was doing this using Einstein/index notation earlier. < 1519178993 251981 :APic!apic@apic.name PRIVMSG #esoteric :shachaf: Please stop what? < 1519179333 213532 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :this quote just lacks a just to be just just. < 1519179348 66101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not a wisdom. < 1519179364 239605 :APic!apic@apic.name PRIVMSG #esoteric :That does not answer my Question. < 1519179412 319488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I meant please stop spamming the channel and being annoying. < 1519179431 784486 :APic!apic@apic.name PRIVMSG #esoteric :Good. < 1519179474 491946 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :spam spam spam spam ♪ < 1519179743 476114 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519180019 477466 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1519180752 402708 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1519181216 774071 :LKoen!~LKoen@2a01:e35:2eed:a430:6dce:a65a:e492:2249 JOIN :#esoteric < 1519181439 479665 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: FEDERAL CHICKEN < 1519181508 725700 :LKoen!~LKoen@2a01:e35:2eed:a430:6dce:a65a:e492:2249 QUIT :Ping timeout: 256 seconds < 1519181544 441988 :michaeldwilson!~dank@unifi-student-191.nat.access.uwa.edu.au JOIN :#esoteric < 1519181620 873244 :dankyyoda!~dank@unifi-student-40.nat.access.uwa.edu.au JOIN :#esoteric < 1519181729 877740 :skankyyoda!~dank@unifi-student-70.nat.access.uwa.edu.au QUIT :Ping timeout: 260 seconds < 1519181821 468816 :michaeldwilson!~dank@unifi-student-191.nat.access.uwa.edu.au QUIT :Ping timeout: 256 seconds < 1519181900 184594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: By the way, a tensor is "really" sometething like V⊗V⊗V⊗V -o V⅋V⅋V , right? < 1519181924 163013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there some variant of linear algebra that distinguishes between ⊗ and ⅋? < 1519181939 750829 :dankyyoda!~dank@unifi-student-40.nat.access.uwa.edu.au QUIT :Ping timeout: 276 seconds < 1519181968 494168 :skankyyoda!~dank@unifi-student-191.nat.access.uwa.edu.au JOIN :#esoteric < 1519182121 705225 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :not as far as I know < 1519182161 739915 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Also, it's unclear. Usually I would just say a tensor is an element of a tensor product space. < 1519182171 79631 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :They needn't all be V < 1519182221 666596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose. < 1519182232 371891 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :The fact that vector spaces of the same dimension are isomorphic means that it's kind of a matter of perspective < 1519182248 93395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway linear logic distinguishes between tensor and par even if linear algebra doesn't. < 1519182257 807806 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :(also the fact that linear maps themselves form a vector space which is naturally a tensor product) < 1519182284 639402 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The game semantics interpretation of linear logic is too good, by the way. < 1519182400 376546 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Ask Dan Haraj about ludics and other Girard memes < 1519182482 292696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Last seen : Nov 21 15:17:45 2017 (13w 0d 11h ago) < 1519182515 550470 :skankyyoda!~dank@unifi-student-191.nat.access.uwa.edu.au QUIT :Ping timeout: 240 seconds < 1519182714 630028 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I don't think he IRCs very much, sadly. < 1519182744 279005 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think he used to. > 1519182768 133351 PRIVMSG #esoteric :14[[07GPRX 300014]]4 10 02https://esolangs.org/w/index.php?diff=54161&oldid=46843 5* 03Oerjan 5* (+751) 10Turing complete < 1519182953 439250 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519183032 808367 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519183201 409093 :augur!~augur@65.48.130.123 QUIT :Ping timeout: 248 seconds < 1519183287 829860 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1519185469 286396 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`icode KONCTPYKTOP < 1519185470 18577 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+004B LATIN CAPITAL LETTER K] [U+004F LATIN CAPITAL LETTER O] [U+004E LATIN CAPITAL LETTER N] [U+0043 LATIN CAPITAL LETTER C] [U+0054 LATIN CAPITAL LETTER T] [U+0050 LATIN CAPITAL LETTER P] [U+0059 LATIN CAPITAL LETTER Y] [U+004B LATIN CAPITAL LETTER K] [U+0054 LATIN CAPITAL LETTER T] [U+004F LATIN CAPITAL LETTER O] [U+0050 LATIN CAPITAL LETTE < 1519185493 294635 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ha < 1519187750 414914 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1519188304 40471 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [ < 1519188322 487319 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1519189488 511367 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519189777 398647 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1519191951 560592 :skankyyoda!~dank@scat253.stcats.uwa.edu.au JOIN :#esoteric < 1519192771 775329 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519192885 49185 :variable!~variable@freebsd/developer/variable NICK :constant < 1519193020 754135 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1519193171 243197 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1519193248 557426 :michaeldwilson!~dank@unifi-student-103.nat.access.uwa.edu.au JOIN :#esoteric < 1519193345 451813 :skankyyoda!~dank@scat253.stcats.uwa.edu.au QUIT :Ping timeout: 248 seconds < 1519193771 823440 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519194049 795797 :augur!~augur@65.48.130.123 QUIT :Ping timeout: 260 seconds > 1519194340 226679 PRIVMSG #esoteric :14[[07Betaload14]]4 10 02https://esolangs.org/w/index.php?diff=54162&oldid=50938 5* 03Challenger5 5* (+61) 10 < 1519194974 146605 :hppavilion[1]!~dosgmowdo@160-7-174-206.gci.net JOIN :#esoteric < 1519195206 272966 :Aks36A!~androirc@78.176.107.153 JOIN :#esoteric < 1519195222 21367 :Aks36A!~androirc@78.176.107.153 PART :#esoteric > 1519195994 774921 PRIVMSG #esoteric :14[[07Momema14]]4 N10 02https://esolangs.org/w/index.php?oldid=54163 5* 03Challenger5 5* (+654) 10Add page < 1519195998 529276 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519196271 474463 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1519196273 316913 :constant!~variable@freebsd/developer/variable NICK :trout > 1519197370 363940 PRIVMSG #esoteric :14[[07User:Challenger514]]4 10 02https://esolangs.org/w/index.php?diff=54164&oldid=53312 5* 03Challenger5 5* (+3291) 10 < 1519199860 414255 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Remote host closed the connection < 1519199877 924801 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1519200134 509770 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519200388 758541 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 268 seconds < 1519200595 587290 :trout!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1519202180 122440 :xkapastel!uid17782@gateway/web/irccloud.com/x-cbregtdyuccbunrn QUIT :Quit: Connection closed for inactivity < 1519202878 861579 :Melvar``!~melvar@dslb-088-077-242-202.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1519202935 463004 :Melvar`!~melvar@dslb-178-006-166-131.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1519204324 770311 :S1R!~S1R@2a00:23c5:f86:9200:39d6:1a6a:1f8:d2d4 JOIN :#esoteric < 1519204413 171778 :hppavilion[1]!~dosgmowdo@160-7-174-206.gci.net QUIT :Ping timeout: 264 seconds < 1519204583 148954 :hppavilion[1]!~dosgmowdo@160-7-174-206.gci.net JOIN :#esoteric < 1519206894 522230 :zseri!~zseri@i5E86CB60.versanet.de JOIN :#esoteric < 1519206914 553560 :zseri!~zseri@i5E86CB60.versanet.de PRIVMSG #esoteric :hi < 1519206916 822459 :zseri!~zseri@i5E86CB60.versanet.de PRIVMSG #esoteric :@messages < 1519206917 96788 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1519209948 479284 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519210259 88676 :hppavilion[1]!~dosgmowdo@160-7-174-206.gci.net QUIT :Ping timeout: 276 seconds > 1519210387 334752 PRIVMSG #esoteric :14[[07Entfedern14]]4 10 02https://esolangs.org/w/index.php?diff=54165&oldid=30915 5* 03Zseri 5* (+38) 10+OOP < 1519210745 516316 :michaeldwilson!~dank@unifi-student-103.nat.access.uwa.edu.au QUIT :Ping timeout: 240 seconds > 1519210748 826798 PRIVMSG #esoteric :14[[07Entfedern14]]4 M10 02https://esolangs.org/w/index.php?diff=54166&oldid=54165 5* 03Zseri 5* (-4) 10/* Partial definition of variables */ < 1519210753 751383 :S1R!~S1R@2a00:23c5:f86:9200:39d6:1a6a:1f8:d2d4 QUIT :Quit: Leaving < 1519210974 515588 :skankyyoda!~dank@220.240.46.97 JOIN :#esoteric < 1519211044 892152 :skankyyoda!~dank@220.240.46.97 QUIT :Remote host closed the connection < 1519211070 464641 :skankyyoda!~dank@220.240.46.97 JOIN :#esoteric < 1519211134 914178 :skankyyoda!~dank@220.240.46.97 QUIT :Remote host closed the connection < 1519211161 526529 :skankyyoda!~dank@220.240.46.97 JOIN :#esoteric < 1519211395 537138 :AnotherTest!~turingcom@134.58.253.56 JOIN :#esoteric < 1519211401 674587 :augur!~augur@65.48.130.123 QUIT :Remote host closed the connection < 1519211457 517959 :skankyyoda!~dank@220.240.46.97 QUIT :Ping timeout: 248 seconds < 1519211921 550721 :skankyyoda!~dank@220.240.46.97 JOIN :#esoteric < 1519212907 469173 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric > 1519213261 160382 PRIVMSG #esoteric :14[[07Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=54167&oldid=54123 5* 03Truttle1 5* (+106) 10 > 1519213275 139186 PRIVMSG #esoteric :14[[07Uyjhmn n14]]4 M10 02https://esolangs.org/w/index.php?diff=54168&oldid=54167 5* 03Truttle1 5* (+1) 10 < 1519214425 114949 :augur!~augur@plutocluster.cavehill.uwi.edu JOIN :#esoteric < 1519214744 99726 :augur!~augur@plutocluster.cavehill.uwi.edu QUIT :Ping timeout: 276 seconds < 1519215011 472822 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1519215387 688241 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`5 w < 1519215392 605220 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:warning//Warnings indicate when you are doing something dangerous, like using operator precedence. \ sgeolang//Sgeolang used to change frequently, but eventually it rusted in place. \ star wars//Star Wars was a missile defence system invented by Ronald Reagan. With it, he managed to destroy the Soviet Union, then rode into the sunset. \  < 1519215393 455071 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`n < 1519215394 45361 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:tachyon//The tachyon is rude and has no style, but gets away with it because of its speed. Taneb will invent it if he ever catches up. \ sparkle//Sparkles are annoying visual artifacts that people try to use deliberately for decoration and artistic photographs and drawings. < 1519215454 18068 :elliot!~elliot@109.246.20.238 JOIN :#esoteric < 1519215481 590880 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :helloiot! < 1519215492 353422 :elliot!~elliot@109.246.20.238 NICK :h2n0 < 1519215708 390397 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-fbdajgkvnodkgugx QUIT :Ping timeout: 240 seconds < 1519215755 342001 :h2n0!~elliot@109.246.20.238 QUIT :Quit: h2n0 < 1519216003 782045 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: DEFINED CHICKEN < 1519216083 439233 :zseri!~zseri@i5E86CB60.versanet.de PRIVMSG #esoteric :helloily! > 1519216166 504150 PRIVMSG #esoteric :14[[07Ende14]]4 M10 02https://esolangs.org/w/index.php?diff=54169&oldid=54140 5* 03Zseri 5* (+1) 10/* Prototype hierarchy */ < 1519216296 861084 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-lfqrzdqpeosgjuze JOIN :#esoteric < 1519216325 667783 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-lfqrzdqpeosgjuze QUIT :Changing host < 1519216325 765251 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1519216325 765363 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 QUIT :Changing host < 1519216325 765381 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-lfqrzdqpeosgjuze JOIN :#esoteric < 1519216333 936588 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@tell oerjan I didn't make up the name (unless you count mistyping H as N). Google will confirm :) < 1519216334 251741 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. > 1519216923 656876 PRIVMSG #esoteric :14[[07Ende14]]4 10 02https://esolangs.org/w/index.php?diff=54170&oldid=54169 5* 03Zseri 5* (+38) 10link to sve < 1519217017 827771 :augur!~augur@plutocluster.cavehill.uwi.edu JOIN :#esoteric < 1519217889 349766 :zseri!~zseri@i5E86CB60.versanet.de QUIT :Quit: Leaving < 1519218514 778283 :Melvar``!~melvar@dslb-088-077-242-202.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1519219298 281953 :Melvar``!~melvar@ip-2-203-38-249.web.vodafone.de JOIN :#esoteric > 1519220458 604506 PRIVMSG #esoteric :14[[07Talk talk:Turing tarpit14]]4 M10 02https://esolangs.org/w/index.php?diff=54171&oldid=36169 5* 03Camto 5* (+128) 10Other spambot < 1519221644 751415 :zseri!~zseri@i5E86CB60.versanet.de JOIN :#esoteric < 1519221810 667699 :zseri!~zseri@i5E86CB60.versanet.de PRIVMSG #esoteric :hi < 1519224813 71912 :xkapastel!uid17782@gateway/web/irccloud.com/x-hvniabteiwrnxfdl JOIN :#esoteric < 1519224833 496181 :AnotherTest!~turingcom@134.58.253.56 QUIT :Ping timeout: 248 seconds < 1519226285 551993 :skankyyoda!~dank@220.240.46.97 QUIT :Ping timeout: 240 seconds < 1519229219 31653 :ITR!c19da443@gateway/web/freenode/ip.193.157.164.67 JOIN :#esoteric < 1519230157 748231 :wob_jonas!b03f1828@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.40 JOIN :#esoteric < 1519230170 456669 :wob_jonas!b03f1828@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.40 PRIVMSG #esoteric :``` dowg sparkle # wait, is that mine? < 1519230179 179806 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :7037:2016-02-28 slashlearn sparkle/Sparkles are annoying visual artifacts that people try to use deliberately for decoration and artistic photographs and drawings. \ 7036:2016-02-28 slashlearn sparkle/Sparkles are annoying visual artifacts that people try to use for decoration and artistic photographs and drawings. < 1519230186 67196 :wob_jonas!b03f1828@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.40 PRIVMSG #esoteric :yeah. < 1519230200 983795 :wob_jonas!b03f1828@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.40 PRIVMSG #esoteric :that's a stupid one < 1519230292 508713 :wob_jonas!b03f1828@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.40 PRIVMSG #esoteric :``` rm -v wisdom/sparkle < 1519230294 105128 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :removed 'wisdom/sparkle' < 1519230352 780055 :ITR!c19da443@gateway/web/freenode/ip.193.157.164.67 QUIT :Quit: Page closed < 1519231382 648385 :wob_jonas!b03f1828@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.40 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1519231656 609147 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1519232026 897028 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1519232474 867915 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519232803 466285 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1519232846 970925 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519232849 891960 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1519232939 712091 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519232942 749712 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1519233023 853654 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1519233030 892693 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519233035 505610 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1519234227 40336 :Melvar!~melvar@ip-2-203-59-226.web.vodafone.de JOIN :#esoteric < 1519234334 854514 :Melvar``!~melvar@ip-2-203-38-249.web.vodafone.de QUIT :Ping timeout: 255 seconds < 1519236989 812733 :__Myst__!~myst@unaffiliated/--myst--/x-6892207 JOIN :#esoteric < 1519237007 485038 :__Myst__!~myst@unaffiliated/--myst--/x-6892207 PRIVMSG #esoteric :How come the wiki's featured language has been brainfuck for months? < 1519237058 525829 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nobody complained? < 1519237082 762176 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And perhaps the powers that be have been distracted. < 1519237292 295331 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1519237631 848676 :Melvar!~melvar@ip-2-203-59-226.web.vodafone.de QUIT :Ping timeout: 248 seconds < 1519238357 840461 :Melvar!~melvar@dslb-146-060-045-014.146.060.pools.vodafone-ip.de JOIN :#esoteric < 1519239177 859687 :Naergon!~Naergon@unaffiliated/naergon QUIT :Ping timeout: 240 seconds < 1519240281 358336 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1519240756 746367 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 JOIN :#esoteric < 1519240756 887233 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 QUIT :Changing host < 1519240756 887291 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1519240887 185137 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1519241494 838352 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519242492 32845 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1519242727 296473 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519243891 310989 :augur!~augur@plutocluster.cavehill.uwi.edu QUIT :Remote host closed the connection < 1519244891 168075 :Melvar!~melvar@dslb-146-060-045-014.146.060.pools.vodafone-ip.de QUIT :Ping timeout: 276 seconds < 1519245070 847553 :rottytooth!~Mutter@38.96.153.66 JOIN :#esoteric < 1519245213 258496 :rottytooth!~Mutter@38.96.153.66 QUIT :Client Quit < 1519245644 841231 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519245724 918369 :Melvar!~melvar@ip-2-203-74-101.web.vodafone.de JOIN :#esoteric < 1519245839 134869 :zseri!~zseri@i5E86CB60.versanet.de QUIT :Quit: Leaving < 1519245919 817583 :augur!~augur@65.48.130.123 QUIT :Ping timeout: 260 seconds < 1519246006 779595 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519246948 841753 :wob_jonas!b03f18ab@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.171 JOIN :#esoteric < 1519247077 761620 :wob_jonas!b03f18ab@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.171 PRIVMSG #esoteric :__Myst__: it's been the featured language for about five years. making something a featured language is hard work that few people are ready to do. also, ais523 is the most dedicated to improve the wiki, but he has conflict of interest with making underload and intercal, which are among the best candidates for featured language < 1519247435 780673 :__Myst__!~myst@unaffiliated/--myst--/x-6892207 PRIVMSG #esoteric :wob_jonas: if this has been an issue for five years, why hasn't a poll system been put in place or something different that takes the workload off of you? < 1519247513 155442 :wob_jonas!b03f18ab@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.171 PRIVMSG #esoteric :__Myst__: it's hard work and nobody cares enough about it. seriously. that part of the wiki is just not important. < 1519247600 439176 :__Myst__!~myst@unaffiliated/--myst--/x-6892207 PRIVMSG #esoteric :wob_jonas: what do you mean by it being hard work? i don't comprehend < 1519247607 44407 :wob_jonas!b03f18ab@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.171 PRIVMSG #esoteric :the wiki is in large part an outlet where people can put their bad esolang inventions, the ones that nobody care about and would either never get documented if the wiki didn't exist, but the point is, it helps us meet like-minded people on this channel, or occasionally elsewhere if they really don't want to join IRC < 1519247696 777944 :wob_jonas!b03f18ab@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.171 PRIVMSG #esoteric :the featured language doesn't matter, if you want to know what languages people care about, then just stay on the channel and you'll find which ones come up often in the conversations. < 1519247716 813508 :wob_jonas!b03f18ab@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.171 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1519248863 813530 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1519250235 898887 :Melvar`!~melvar@ip-2-203-12-175.web.vodafone.de JOIN :#esoteric < 1519250338 840234 :Melvar!~melvar@ip-2-203-74-101.web.vodafone.de QUIT :Ping timeout: 268 seconds < 1519250648 986388 :wob_jonas!b03f18ab@gateway/web/freenode/ip.176.63.24.171 JOIN :#esoteric < 1519250661 948301 :wob_jonas!b03f18ab@gateway/web/freenode/ip.176.63.24.171 PRIVMSG #esoteric :__Myst__: part of the problem is that a language can realistically get featured only if two people active on the wiki care about it enough to actively understand the language and write a good article about it. If it's only one person on the wiki who cares enough about the language to write about it, then it will seem a bit self-promoting to push it to featured. < 1519250666 683170 :wob_jonas!b03f18ab@gateway/web/freenode/ip.176.63.24.171 PRIVMSG #esoteric :And honestly, most languages don't have two people on this small community to care enough about it to actually do work about it. Brainfuck, befunge, and bfjoust have multiple people, so those are realistic featured languages. < 1519250674 413207 :wob_jonas!b03f18ab@gateway/web/freenode/ip.176.63.24.171 PRIVMSG #esoteric :ais523: the wiki article on Incident says it's not proven to be Turing-complete. haven't you actually proved it Turing-complete with oerjan's help since that was written? < 1519250681 483713 :wob_jonas!b03f18ab@gateway/web/freenode/ip.176.63.24.171 PRIVMSG #esoteric :`ping < 1519250682 185962 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pong < 1519250697 400693 :wob_jonas!b03f18ab@gateway/web/freenode/ip.176.63.24.171 QUIT :Client Quit < 1519252178 577446 :^arcade_droid!~arcade_dr@unaffiliated/arcade-droid/x-4286778 PART #esoteric :"Leaving" < 1519252615 311900 :sparr!~sparr@2604:a880:800:10::103:f001 JOIN :#esoteric < 1519252675 640181 :sparr!~sparr@2604:a880:800:10::103:f001 QUIT :Changing host < 1519252675 778780 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1519252877 343852 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :Client Quit < 1519252895 859232 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [ < 1519252913 692487 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1519252985 728251 :sparr!~sparr@2604:a880:800:10::103:f001 JOIN :#esoteric < 1519253047 622330 :sparr!~sparr@2604:a880:800:10::103:f001 QUIT :Changing host < 1519253047 622393 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1519253393 904418 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1519253577 936879 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`olist (1113) < 1519253578 577502 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist (1113): shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1519253713 816079 :LKoen!~LKoen@2a01:e35:2eed:a430:6814:316e:d4ee:72d8 JOIN :#esoteric < 1519253954 603419 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1519254025 258061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: this list has already been listed tdnh < 1519254148 249461 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :helloochaf. beuh. < 1519255488 202572 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: KERNAL CHICKEN < 1519255924 428352 :Magickal!~Asus@12.252.118.126 JOIN :#esoteric < 1519256030 26710 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1519256325 459717 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric