< 1518567435 465438 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1518567519 201491 :vertrex!~vertrex@51.15.12.80 JOIN :#esoteric < 1518567519 342839 :vertrex!~vertrex@51.15.12.80 QUIT :Changing host < 1518567519 342890 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric < 1518567751 802012 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1518567977 598547 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1518568800 606647 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1518569340 452268 :optimus[m]!optimusmat@gateway/shell/matrix.org/x-vkmacnwbdchujiel JOIN :#esoteric < 1518571235 524066 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1518571419 610129 :dingbat!uid70835@gateway/web/irccloud.com/x-lybqqyfsnewzcmkw QUIT :Quit: Connection closed for inactivity < 1518572615 523170 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1518572787 988493 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1518573356 268701 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1518573567 759147 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1518573695 450972 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1518574282 438443 :doesthiswork1!~Adium@207.55.82.87 JOIN :#esoteric < 1518574282 724489 :doesthiswork!~Adium@207.55.82.87 QUIT :Read error: Connection reset by peer < 1518574731 469115 :rcm888!~rcm@94.140.230.171 PART #esoteric :"Leaving" < 1518575247 708226 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1518576205 380596 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION is slightly disturbed by the edits completely changing Haddock < 1518576273 600207 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not that either version is a good language. < 1518576310 482236 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but the original author should confirm if they agree to them. < 1518576421 770040 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :Haddock is a language? < 1518577457 18896 :wob_jonas!b03f18ce@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.206 PRIVMSG #esoteric :no, it's a fish < 1518577879 575271 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1518579488 695821 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also a language. < 1518579495 674830 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or three < 1518579522 913536 :APic!apic@apic.name PRIVMSG #esoteric :Four. < 1518579691 734260 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1518579980 768103 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1518580207 345404 :wob_jonas!b03f18ce@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.206 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1518581450 910826 :xkapastel!uid17782@gateway/web/irccloud.com/x-dgmstnqauruutgzl QUIT :Quit: Connection closed for inactivity < 1518582958 829297 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1518583197 748603 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1518585733 432544 :doesthiswork1!~Adium@207.55.82.87 QUIT :Ping timeout: 256 seconds < 1518586188 607545 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 252 seconds < 1518586221 947864 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1518587802 100248 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1518588726 941475 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1518588837 834088 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 240 seconds < 1518589004 982837 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1518591194 785607 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1518591447 811895 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1518592441 831729 :fractal-!fractal@unaffiliated/scounder QUIT :Ping timeout: 268 seconds < 1518592577 431623 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1518592892 524365 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1518592955 495013 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1518593033 437760 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1518594505 452422 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1518595224 156857 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1518595562 552199 :fractal-!fractal@unaffiliated/scounder JOIN :#esoteric < 1518595659 609233 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1518595934 608142 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 252 seconds < 1518596027 867847 :clog!~nef@bespin.org QUIT :Ping timeout: 255 seconds < 1518596035 963299 :clog!~nef@bespin.org JOIN :#esoteric < 1518596202 813048 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1518597460 910899 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1518600146 608204 :augur!~augur@2600:380:4774:a7bf:6446:6b4d:be42:48d8 JOIN :#esoteric < 1518601790 603516 :AnotherTest!~turingcom@ptr-82l26zfuhxgjw7bk60w.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1518602339 879101 :augur!~augur@2600:380:4774:a7bf:6446:6b4d:be42:48d8 QUIT :Remote host closed the connection < 1518603573 431767 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: reboot < 1518604010 371397 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1518605186 70483 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1518605746 602759 :AnotherTest!~turingcom@ptr-82l26zfuhxgjw7bk60w.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1518607300 878460 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1518608360 719271 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1518608490 476111 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@massages-loud < 1518608490 785772 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1518610706 891758 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 276 seconds < 1518610916 799703 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1518611143 670115 :Melvar`!~melvar@ip-2-203-19-142.web.vodafone.de QUIT :Ping timeout: 256 seconds < 1518611160 786738 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: CRANE CHICKEN < 1518611949 68411 :Melvar`!~melvar@ip-2-203-92-97.web.vodafone.de JOIN :#esoteric < 1518611951 288044 :LKoen!~LKoen@2a01:e35:2eed:a430:c873:b7da:418e:ac0b JOIN :#esoteric < 1518612237 232691 :LKoen!~LKoen@2a01:e35:2eed:a430:c873:b7da:418e:ac0b QUIT :Ping timeout: 260 seconds < 1518612901 470360 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1518613540 93670 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1518613566 258955 :Guest6549!~Slereah@ALille-651-1-131-121.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1518613681 500454 :Slereah!~Slereah@90.1.200.91 QUIT :Ping timeout: 256 seconds > 1518614986 453350 PRIVMSG #esoteric :14[[07User:Singingbanana14]]4 N10 02https://esolangs.org/w/index.php?oldid=54104 5* 03Singingbanana 5* (+265) 10Created page with "Singingbanana is an annoying programmer who no one talks to. He talks 24/7 about lambda calculus(that's why he wears the greek alphabet t-shirt!). He created the whole Hadoock..." > 1518615011 169808 PRIVMSG #esoteric :14[[07User:Singingbanana14]]4 10 02https://esolangs.org/w/index.php?diff=54105&oldid=54104 5* 03Singingbanana 5* (-1) 10 > 1518615024 872549 PRIVMSG #esoteric :14[[07User:Singingbanana14]]4 10 02https://esolangs.org/w/index.php?diff=54106&oldid=54105 5* 03Singingbanana 5* (+1) 10 < 1518617183 871764 :Melvar`!~melvar@ip-2-203-92-97.web.vodafone.de QUIT :Ping timeout: 248 seconds < 1518617208 435536 :Melvar`!~melvar@ip-2-203-92-97.web.vodafone.de JOIN :#esoteric < 1518617706 225409 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1518618415 606800 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1518618466 934221 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1518618467 832929 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1518618497 522897 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1518619340 893547 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 268 seconds < 1518620684 25528 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1518620856 985321 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1518621191 970211 :^v!v^@me.pxtst.com QUIT :Ping timeout: 255 seconds < 1518621653 979374 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1518621665 565247 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1518624121 812285 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1518624765 471153 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1518626892 942722 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1518628294 689903 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=54107&oldid=54083 5* 03Dehodson 5* (+13) 10Added TinCan, as I forgot to do so 7 years ago < 1518628895 505689 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1518630016 187463 :AnotherTest!~turingcom@ptr-82l26zfuhxgjw7bk60w.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1518630953 495396 :aeyxa!2d3bd6aa@gateway/web/freenode/ip.45.59.214.170 JOIN :#esoteric < 1518631808 299301 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 JOIN :#esoteric < 1518631808 438943 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 QUIT :Changing host < 1518631808 439015 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1518632098 436529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1518633024 357120 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( The Invisible Hand guides the monopolists towards maximizing their own profits. ) < 1518633133 518842 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? gdp < 1518633149 573911 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh. < 1518633158 121365 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: what happened to HackEgo? < 1518633158 257459 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: because it's pretty hard < 1518633172 456883 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: oh, was it painful? < 1518633172 838299 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: eval ' ( 0="foo" 0)) ( square b) ( something-else a ( blah b) blah))) 1) < 1518633193 907115 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: I'll take that as a yes < 1518633194 203281 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: wouldn't be surprised if there weren't a plt http client software related dos. < 1518633324 761598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that wouldn't surprise me one bit, fungot < 1518633324 952783 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: i don't think the author has something to do < 1518633334 79919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :exactly < 1518633376 861862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: hint-e < 1518633411 857951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a standard notion of the inverse of a tensor of any type? How do you compute it? < 1518633412 594951 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shichif < 1518633454 211564 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( I know the answer for square matrices... ) < 1518633692 977877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about (2,0) tensors? < 1518633709 901215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think the inverse of a (2,0) tensor is a (0,2) tensor. < 1518633738 937544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And maybe numerically it even has the same values as an inverse matrix. < 1518633794 879400 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 JOIN :#esoteric < 1518633794 976874 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 QUIT :Changing host < 1518633794 976920 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1518634321 392488 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1518634409 213217 :TakeYourFreedom!~TakeYourF@dyndsl-091-096-217-215.ewe-ip-backbone.de JOIN :#esoteric < 1518636071 319614 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1518636641 907607 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds < 1518636793 59945 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: btw, HackEgo is absent. < 1518637090 564805 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1518637234 249424 :Guest33746!~augur@2600:380:c01f:31eb:e0bf:a9e3:ab89:ca8b JOIN :#esoteric < 1518638460 781329 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de JOIN :#esoteric < 1518638916 931335 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :I'm working on a esoteric language named sofun for a project in university, which essentially is a stack based functional language in reverse polish notation. Functions take arguments and return a stack that is integrated in the main stack where the function and its argument got popped. Executing a program means evaluating a main stack and substituting all the functions and their arguments with their return stack: '2 3 +' is 5 < 1518638916 931404 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :because '+' takes 2 and 3 and returns 5. Because of Reverse polish notation all syntax symbols needed are ":" for assigning functions and "?" for Branches. Do you all think this idea has enough potential for me to try and write a esolangwiki article on it with my mediocre english skills? < 1518638986 316717 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I think you should go for it! < 1518638997 336763 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I can guarantee there'll have been worse < 1518639025 164099 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :to get an idea of the syntax, this is the solution of the first taks of projecteuler.net, "Find the sum of all the multiples of 3 and 5 below 1000": < 1518639027 169764 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :num sums ? 1000 num = : 0 ? num 3 % ~ num 5 % ~ | : num num 1 + sums + ? num 1 + sums < 1518639073 955731 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :i admit, its not really readable. But hey, its esoteric, it doesnt have to < 1518639086 626425 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Have you seen FALSE? < 1518639106 724748 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :nope, gimme a sec < 1518639159 58284 :int-e!~noone@int-e.eu PRIVMSG #esoteric :RusselsTeapot: I can't see you! < 1518639225 821645 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :int-e, that doesn't necessarily mean he isn't there < 1518639226 764426 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :hm, sounds interesting. It isnt as functional as my approach though and thus needs more syntax it seems < 1518639242 605756 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Yeah, you fall somewhere between it and Underload I think < 1518639252 830122 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :@int-e: In the irc-channel? idk why < 1518639253 36595 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1518639329 96274 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :oh, sry. im not that used to irc. Answers go without @, i know < 1518639335 128200 :int-e!~noone@int-e.eu PRIVMSG #esoteric :RusselsTeapot: I can believe that you're there. But my instruments aren't powerful enough to detect you. < 1518639340 612394 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::P < 1518639365 538150 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric ::) < 1518639418 507710 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1518639560 50183 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :Taneb: i didn't know underload either, seems like i have much to learn. < 1518639719 803792 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :Designing languages, writing interpreters and finally seeing the first test programs work is really cool. Maybe I'll do some of the not yet implemented languages on esolangs next. I've got a lot to learn, I think < 1518639798 380798 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :oh, by the way. My code is online. The basic functionality is mostly done, but all the comments and the specification is still in german :( https://github.com/Rieselhilfe/sofun < 1518640507 495696 :Melvar`!~melvar@ip-2-203-92-97.web.vodafone.de QUIT :Ping timeout: 256 seconds < 1518640770 293159 :TakeYourFreedom!~TakeYourF@dyndsl-091-096-217-215.ewe-ip-backbone.de QUIT :Remote host closed the connection < 1518641319 846033 :Melvar`!~melvar@ip-2-203-7-74.web.vodafone.de JOIN :#esoteric < 1518641959 984356 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de QUIT :Ping timeout: 260 seconds < 1518642028 887928 :Guest33746!~augur@2600:380:c01f:31eb:e0bf:a9e3:ab89:ca8b QUIT :Remote host closed the connection < 1518642344 493214 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1518642417 700107 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1518642776 505105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: Hmm. No answer from CaC. < 1518644074 628885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HackEgo is still running on CaC? < 1518644092 923666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i well, not anymore < 1518644818 227993 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: anyway I don't really understand tensors, not even the (1,1) kind (they're bilinear functions. but that's also true for (2,0) and (0,2) tensors) I don't know how to turn the bilinear function of a (1,1) tensor into a linear map. So... meh. < 1518644908 369606 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I'm pretty sure that they also won't help me with applying Rice's theorem so I guess that's okay :P < 1518644937 218427 :erkin!~erkin@unaffiliated/erkin QUIT :Ping timeout: 264 seconds < 1518645044 282288 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de JOIN :#esoteric < 1518645066 838590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are you applying Rice's theorem to? < 1518645087 980001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A (1,1) tensor is e.g < 1518645090 990648 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I want undecidability of the halting problem for Minsky machines. I have it for computable functions. < 1518645093 993495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er < 1518645118 228532 :int-e!~noone@int-e.eu PRIVMSG #esoteric :thanks to https://www.isa-afp.org/entries/Recursion-Theory-I.html < 1518645133 844462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f : V -o ((V -o F) -o F) < 1518645168 58552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think you can turn that into a linear map pretty easily hth < 1518645195 349394 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah < 1518645201 467324 :int-e!~noone@int-e.eu PRIVMSG #esoteric :parentheses help < 1518645209 68877 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the lollypops don't :P < 1518645215 492550 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1518645216 772562 :int-e!~noone@int-e.eu PRIVMSG #esoteric :lollipops < 1518645271 452152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They just mean a linear map. < 1518645336 255761 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Wait, are you conflating "linear" and "linear"? Is that standard? < 1518645364 34556 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean linear logic and linear algebra? < 1518645365 857338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: please try to make sense! < 1518645366 144232 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: for some of my contributions as well, < 1518645367 845454 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: yes < 1518645374 957253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't invent this usage. < 1518645491 594766 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, writing out V* that way helped, thanks. < 1518645533 600871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm typing on a phone so this is pretty slow < 1518645581 927860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The point is, the "Hessian" is a (0,2) tensor, not a (1,1) tensor < 1518645852 521314 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1518646315 590958 :MDead!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net JOIN :#esoteric < 1518646508 904414 :MDude!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net QUIT :Ping timeout: 276 seconds < 1518646510 340554 :MDead!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net NICK :MDude < 1518646513 789492 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1518646525 780747 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :int-e, I think I remember reading that it works out there's some sort of correspondence between linear logic and linear algebra < 1518646696 803849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'd like to know more about the details of that < 1518646716 102542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it just that they're both whatever monoidal categories? < 1518646722 635913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably more than that. < 1518646764 691028 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Sadly I can't remember details < 1518646924 935590 :wob_jonas!b03f186b@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.107 JOIN :#esoteric < 1518646930 487905 :wob_jonas!b03f186b@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.107 PRIVMSG #esoteric :`ping hi < 1518646965 716811 :APic!apic@apic.name PRIVMSG #esoteric :☺ < 1518647822 191629 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de PRIVMSG #esoteric :is there a list of typical example programs like "hello world" or "99 Bottles" that show specific features of programming languages? < 1518647867 284813 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Meh, I want a stronger (and perhaps slightly nonstandard) version of Rice. Oh well, not today. < 1518647936 490091 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 265 seconds < 1518648326 774627 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1518648558 262512 :AnotherTest!~turingcom@ptr-82l26zfuhxgjw7bk60w.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 240 seconds < 1518648697 800534 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1518648966 710295 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 256 seconds < 1518648981 821934 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1518650073 433868 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1518650534 441478 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :HackEgo: Oh, you're back. < 1518651542 231505 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de QUIT :Ping timeout: 260 seconds < 1518651621 860795 :wob_jonas!b03f186b@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.107 PRIVMSG #esoteric :RussellsTeapot: https://esolangs.org/wiki/Hello_world_program_in_esoteric_languages and see the links I put to the start < 1518651793 577604 :RusselsTeapot!~SumpfSchl@u-251-c055.eap.uni-tuebingen.de JOIN :#esoteric < 1518651844 344607 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1518652480 72452 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1518652617 533202 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric