< 1582330681 864006 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1582332290 853212 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net QUIT :Ping timeout: 240 seconds < 1582332700 230519 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net JOIN :#esoteric < 1582333128 154066 :xkapastel!uid17782@gateway/web/irccloud.com/x-yulkzdfhamhpcbsm JOIN :#esoteric < 1582334328 211695 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 QUIT :Remote host closed the connection < 1582336508 940407 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1582336549 109761 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 JOIN :#esoteric < 1582336831 116890 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 QUIT :Ping timeout: 272 seconds < 1582337456 104281 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582337504 193617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no pressure, schlock < 1582337659 114394 :tromp!~tromp@2a02:a210:ca3:2800:40fe:1b7b:7c1a:4d68 JOIN :#esoteric < 1582337872 498381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i'm guessing the boloceade people maybe aren't going to be helpful, at least at that step < 1582337933 136550 :tromp!~tromp@2a02:a210:ca3:2800:40fe:1b7b:7c1a:4d68 QUIT :Ping timeout: 272 seconds < 1582338115 171073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Do you like zygohistomorphic prepromorphisms? <-- . o O ( did shachaf and cpressey swap nicks ) < 1582338449 596623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 1 - 2 + 3 < 1582338454 848494 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2 < 1582338466 134936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that's right < 1582338475 575186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 10 * 10 / 2 * 2 < 1582338479 310602 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :25 < 1582338538 870006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that's dubious. although some people like it that way. < 1582338563 867828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 1 - 2 - 3 < 1582338576 235921 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :-4 < 1582338684 771070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it accidentally works to have addition have lower precedence than subtraction, because (a + b) - c = a + (b - c) < 1582338715 214663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so that's probably what's happening < 1582338846 579062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :multiplication lower than division would also work in a true field, but i think rounding may break that solution here < 1582338854 823520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 10 / 3 < 1582338865 40671 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1582338933 724184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 10 * (2 / 5) < 1582338933 895412 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1582338942 615032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 10 * 2 / 5 < 1582338942 908763 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4 < 1582339247 45100 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 265 seconds < 1582339291 433138 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1582339406 991476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell spruit11 ocaml has precedence decided by the first character, although it still manages to give * and / the same one afair. < 1582339407 215630 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1582339412 102088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh you returned < 1582341861 99356 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh year, sure. I could add it, it's 'just' adding a field to my operator table with explicit priority numbers. < 1582341875 192826 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I just don't think I should at this moment. < 1582342091 787778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1582342151 438145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :egelbot: 2*3+4 < 1582342151 567156 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :10 < 1582342241 500172 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Most stuff works as expected, it's the same priority precedence which is different. But honestly, I think most people parenthesize those anyway. < 1582342267 427258 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :And I like the scheme of having a fixed order for newly introduced operators. < 1582342283 25802 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I don't feel it's worth it for this 'corner case'. < 1582342294 141788 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :*to change it < 1582342697 129443 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I.e., this is a very specific corner. What if I add ** and ++ (and,or) for Boolean connectives? < 1582342739 539968 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Dunno. < 1582343908 493678 :xkapastel!uid17782@gateway/web/irccloud.com/x-yulkzdfhamhpcbsm QUIT :Quit: Connection closed for inactivity < 1582344102 509355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1582344154 118951 :tromp!~tromp@2a02:a210:ca3:2800:40fe:1b7b:7c1a:4d68 JOIN :#esoteric < 1582344331 877269 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :Hi all! What would you recommend to read in the vein of Gödel, Escher, Bach? < 1582344352 529508 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :I think you all should know something :) < 1582344431 115866 :tromp!~tromp@2a02:a210:ca3:2800:40fe:1b7b:7c1a:4d68 QUIT :Ping timeout: 272 seconds < 1582344466 740165 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :ArthurStrong: GEB is a pretty sprawly book. which parts interest you most -- the math, the philosophy, Hofstadter's style? < 1582344565 387266 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :kmc: whatever connected to math.logic and theorem proving < 1582346049 125405 :tromp!~tromp@2a02:a210:ca3:2800:53b:ea24:4bd9:9885 JOIN :#esoteric < 1582346204 167579 :tromp_!~tromp@2a02:a210:ca3:2800:3c74:b645:a65a:377d JOIN :#esoteric < 1582346331 108647 :tromp!~tromp@2a02:a210:ca3:2800:53b:ea24:4bd9:9885 QUIT :Ping timeout: 272 seconds < 1582346483 115257 :tromp_!~tromp@2a02:a210:ca3:2800:3c74:b645:a65a:377d QUIT :Ping timeout: 272 seconds < 1582350763 930384 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I don't know what other book, but I think Godel, Escher, Bach is good. I know Hofstadter wrote other books, but I haven't read them so I cannot comment about it. < 1582350774 4634 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :zzo38: OK < 1582350999 152118 :tromp!~tromp@2a02:a210:ca3:2800:d72:8805:17a8:ef43 JOIN :#esoteric < 1582351309 159132 :tromp!~tromp@2a02:a210:ca3:2800:d72:8805:17a8:ef43 QUIT :Ping timeout: 272 seconds < 1582351803 966207 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :GURPS rules for Biology skill specifies that you must specialize by planet type. I thought it might make more sense to specialize by planet, and later found out that another (official) book mentions the same thing. < 1582352749 113426 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 JOIN :#esoteric < 1582353057 223581 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 QUIT :Ping timeout: 272 seconds < 1582353223 355464 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hi fungot < 1582353223 536039 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i actually wrote an lalr(1) parser generator for scheme based on using regular array code, but there are some < 1582354338 140974 :xkapastel!uid17782@gateway/web/irccloud.com/x-qhqmytxxwaqjiqxs JOIN :#esoteric < 1582354964 684318 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1582356478 228367 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582356580 706731 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 248 seconds < 1582356580 856265 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582356706 147246 :aloril!~aloril@mobile-access-b0481e-177.dhcp.inet.fi QUIT :Ping timeout: 255 seconds < 1582357512 665376 :aloril!~aloril@mobile-access-b0486e-15.dhcp.inet.fi JOIN :#esoteric < 1582358370 931832 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 JOIN :#esoteric < 1582358392 25274 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :How to determine what Linux kernel options are present in the current system? < 1582358692 730574 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :what kind of kernel options? < 1582358709 411449 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :often there's /proc/config.gz which will tell you how it was configured < 1582358755 311620 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :there's also kernel command line options which would be in /proc/cmdline < 1582358805 805787 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I don't have /proc/config.gz in my computer < 1582358820 256567 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :if config.gz isn't there, there's still a possibility it's in the kernel, but not advertised, I think the linux source has a tool to extract it < 1582358869 759452 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :what are you trying to do? < 1582358889 509190 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I just want to see how it was configured < 1582358976 450568 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There may also be a config-* file corresponding to your kernel image in /boot/ ... though you have to trust the distribution on that. < 1582358985 107967 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1582359020 860772 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :OK, I found it < 1582359020 912369 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :good point < 1582359029 147677 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :That file is present < 1582359046 577938 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :scripts/extract-ikconfig could do it, but that's moot < 1582359128 682154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :$ grep CONFIG_IKCONFIG /boot/config-$(uname -r) < 1582359128 831243 :int-e!~noone@int-e.eu PRIVMSG #esoteric :# CONFIG_IKCONFIG is not set < 1582359138 363564 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wouldn't work anyway (Debian here) < 1582361696 880570 :arseniiv!~arseniiv@136.169.210.57 JOIN :#esoteric < 1582361865 656361 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: The dinos have a doomsday device :) < 1582361952 809927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :[citation needed] < 1582361976 801991 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, Schlockmercenary. < 1582361991 29252 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Also a bit of a pun. < 1582362003 460194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY (i don't get it) < 1582362051 360035 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's less about causation, and more about prediction, than your usual doomsday device. < 1582362057 753825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1582362076 485778 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The effect is almost the same though ;) < 1582362118 376263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also those are not the dinos. (my headcanon says they're logically "ceans", although that's not been said in comic) < 1582362121 191591 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582362158 946893 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sure look like dinos to me. < 1582362167 968372 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Does that make me racist? < 1582362182 617306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(all boloceade people look the same to you?) < 1582362344 981056 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No? I'm not sure that's required though. < 1582362358 655182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the dinos are the ones with feathers hth < 1582362369 41613 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Actually that topic came up earlier: https://mobile.twitter.com/SeS73123646/status/1230841180633653248?p=p < 1582362424 405045 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: You may have a point there though... I am mixing those up. < 1582362455 702140 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The variance within the species?! feels greater than the differences of the species. < 1582362460 924535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah dagsson. the one comic i used to carefully skip over back when the VG newspaper had a comic webpage < 1582362517 405096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(they might have one again, i haven't checked) < 1582362532 294894 :int-e!~noone@int-e.eu PRIVMSG #esoteric :What's a newspaper? < 1582362559 442254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION beats int-e with his cane O======
< 1582362578 737569 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh no. < 1582362607 418092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GET OFF MY LAWN < 1582362624 20384 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The editing distance between oerjan and oldman *could* be bigger. < 1582362660 605857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tru < 1582362662 503488 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Soon we won't have lawns anymore either. < 1582362805 167899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what? but then what will our cattle eat? < 1582362849 613509 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Algea. < 1582362872 459901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1582362895 266409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? alg ii < 1582362897 698104 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :alg ii? ¯\(°​_o)/¯ < 1582362900 141372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hum < 1582362904 521559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`wisdom alg < 1582362906 450565 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​shor's algorithm//Shor's algorithm allows a quantum computer to factor large integers, such as 21. Taneb thought of it. < 1582362921 647867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`wisdom alg < 1582362922 651693 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​alg. ii//Algae II, the successor class to Algae I. Discusses hydroponics and such. < 1582362927 952298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1582363205 901611 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`cwlprits alg. ii < 1582363218 452896 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :boil̈y boil̈y oerjän hppavilion[1̈] < 1582363231 311629 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote boily < 1582363232 261655 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :908) boily: the man eating chicken is just a normal man, it's quite common to eat chicken in some parts of the world \ 909) ~eval 1+2 Error (127): this is a great bot boily i love it \ 918) not only there is no God, but try to find an APL keyboard on Sunday. \ 921) ais523: I'm not sure my grasp of the English language is getting better by visiting this channel.. \ 923) had a f < 1582363232 381012 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Read error: Connection reset by peer < 1582363307 760091 :int-e!~noone@int-e.eu PART #esoteric :"REMINISCING CHICKEN" < 1582363307 994795 :int-e!~noone@int-e.eu JOIN :#esoteric < 1582363759 921502 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1582363830 664079 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582364121 289990 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582366512 542947 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582366922 272005 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582367252 796267 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582367526 124353 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582370747 199102 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582371236 310558 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582372081 29012 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582372153 150314 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582373138 913891 :arseniiv!~arseniiv@136.169.210.57 QUIT :Read error: Connection reset by peer < 1582373425 392401 :arseniiv!~arseniiv@136.169.210.57 JOIN :#esoteric < 1582374241 361152 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1582375775 772667 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :int-e: i've been trying to get short blc programs for the infinite laver table < 1582375812 966464 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :my best attempts are in laver1.lam and laver2.lam < 1582375843 980930 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :former uses church numerals; latter uses some cross between scott and church numerals < 1582375899 727196 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :both versions need explicit lists > 1582376043 190675 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=70020&oldid=70013 5* 03PythonshellDebugwindow 5* (+48) 10/* Commands */ < 1582376478 136598 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Nice, but I don't think I'll go down that rabbit hole. > 1582376959 560453 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=70021&oldid=70020 5* 03PythonshellDebugwindow 5* (+112) 10/* Turing-Complete Nybblang */ > 1582376996 360444 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=70022&oldid=70021 5* 03PythonshellDebugwindow 5* (+13) 10/* Turing-Complete Nybblang */ > 1582377069 563302 PRIVMSG #esoteric :14[[07User:Asasnat14]]4 10 02https://esolangs.org/w/index.php?diff=70023&oldid=69981 5* 03Asasnat 5* (+26) 10 < 1582377554 23046 :xkapastel!uid17782@gateway/web/irccloud.com/x-qhqmytxxwaqjiqxs QUIT :Quit: Connection closed for inactivity < 1582377585 134293 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 619 seconds < 1582377743 277060 :xkapastel!uid17782@gateway/web/irccloud.com/x-fnavkdjqlxhigpcd JOIN :#esoteric < 1582377847 373420 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582377868 528756 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1582378076 521563 :Women!~unknow@114.125.44.23 JOIN :#esoteric < 1582378169 192917 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :YAY! Order of the Stick (Giant in the Playground, giantitp) phpbb forum is back < 1582378172 617061 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :http://www.giantitp.com/index.html#oXsSwf27fSs6vscZlMX < 1582378351 921627 :Women!~unknow@114.125.44.23 PRIVMSG #esoteric ::( < 1582378366 697992 :Women!~unknow@114.125.44.23 PART :#esoteric < 1582378388 19002 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :tromp: latter uses some cross between scott and church numerals => are they those where S n z' s' = s' n (n z' s')? < 1582378532 827915 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :I read somewhere about these and they were called Church—Scott in obvious manner :D < 1582378629 49973 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :arseniiv: succ = \n\s\z. s z n; -- without the z on right these would be Scott numerals < 1582378720 519901 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :tromp: ah, interesting! What there is from Church, though? < 1582378784 764090 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :instead of applying f n times to z, they apply f sign(n) times to z < 1582378839 651542 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :oh < 1582378862 964156 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :hmm, that doesn't look right < 1582378912 531990 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :have to rethink that < 1582379115 589981 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :what they have from Church is that the successor case has the z argument available > 1582379755 379174 PRIVMSG #esoteric :14[[07Mindwhipper14]]4 10 02https://esolangs.org/w/index.php?diff=70024&oldid=70019 5* 03Asasnat 5* (+39) 10 < 1582379985 560122 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: But what you wrote lacks the actual recursive call; the caller could just apply the s to z themselves. \n\s\z. s (n s z) n would make a bit more sense to me, but that's what arseniiv had, only with the two arguments s and z swapped. < 1582380018 790976 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so I'm a bit confused :) < 1582380068 393875 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :yeah I’m too but I thought I had misunderstood something < 1582380083 137858 :int-e!~noone@int-e.eu PRIVMSG #esoteric :\n\s\z. s z n might be a Scott encoding with a bit of extra Curry. < 1582380091 569535 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :oh, i thought Scott numerals lacked recursion < 1582380110 452123 :int-e!~noone@int-e.eu PRIVMSG #esoteric :They do. < 1582380118 126583 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But Church is all about the recursion to my mind. < 1582380169 668890 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :so i forego the recursion because in laver you need to apply predecessor, which is easier with the non-recursive Scott numerals < 1582380221 845966 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :so now i can get pred without recursion, and use recursion for indexing a list < 1582380270 446770 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :right, that’s precisely the reason behind Church—Scott \n \z \s. s n (n z s) < 1582380276 239321 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The extra z doesn't introduce recursion though, so I don't see the Church angle. < 1582380321 905348 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :like i said it's not Church style. it just has in common that both cases use the 2nd argument < 1582380331 583682 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :hm Church—Scott is worse than Church because of typing issues and is worse than Scott because of nonlinearity. Though I’m yet to get why linearity matters here < 1582380354 566212 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :i just stick z in there to save a few bits elsewhere < 1582380369 68864 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I'd call it a (variant) Scott encoding < 1582380377 875432 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :tromp: but why z and not n? < 1582380411 362899 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :as far I understand z will not be useful(?) < 1582380411 786800 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The variant allows you to write n s z instead of n (s z) z. < 1582380431 719026 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And you can get the Scott behavior back by doing n (\_. s) z. < 1582380460 440154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So it's essentially the same? < 1582380472 187132 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But incompatible, of course. < 1582380476 460285 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :yes, sorry for mentioning Church; it's just a Scott variant < 1582380508 710709 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Okay. Glad we cleared that up :) < 1582380541 339163 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :so here's where the extra z comes in handy < 1582380547 725607 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :i can now define laver = \a. a (\b\a1. go a1 (idx b)) < 1582380571 381886 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: These weird encoding tricks come up a lot when squeezing lambda terms. < 1582380576 31760 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :whereas with pure Scott i would need laver = \a\b. a (\a1. go a1 (idx b)) b < 1582380631 757217 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: Along with things like picking the right argument order, and doing some funny transformations on folds (which can be justified by free theorems). < 1582380635 570006 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :the former allow me to never show the 2nd argument to laver < 1582380667 862353 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :yes, i also put the tail before the head in my cons to save bits < 1582380742 747743 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :interesting < 1582381870 858663 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1582383151 812164 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Funny though, I don't remember ever wanting to just swap the arguments of a Church numeral. < 1582383729 565029 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :dual SIM cards sure drains the battery of my mobile phone so quickly, though at least it also charges quickly too > 1582384107 37684 PRIVMSG #esoteric :14[[07WII2D14]]4 M10 02https://esolangs.org/w/index.php?diff=70025&oldid=69335 5* 03PythonshellDebugwindow 5* (+1) 10/* Hello, World! */ Now the program ends < 1582384687 489592 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :b_jonas: though at least it also charges quickly too => isn’t that more a symptom of the battery’s age? < 1582384803 872818 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :sometimes I drink green tea adding some milk to it. Tastes unusually < 1582385422 673603 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :arseniiv: more like of how the battery is a small one in first place in this model < 1582385471 201299 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :it's not that old, I bought the phone in 2018-11 according to https://www.perlmonks.com/?node_id=1225327 , so that's one year and a few months < 1582385478 526278 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 QUIT :Remote host closed the connection < 1582385495 349113 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :ah < 1582386406 443844 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 JOIN :#esoteric < 1582386888 361917 :kspalaiologos2!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1582386891 957893 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: do you speak lapack? < 1582386892 48788 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i'm actually thinking more about the actual integer values. < 1582386943 184891 :kspalaiologos2!~kspalaiol@176.221.122.71 QUIT :Client Quit < 1582387009 183367 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Just look at this matrix... http://www.netlib.org/lapack/lug/node26.html ... I get that it's all very regular, but limiting all identifiers to 6 letters is feels kind of crazy from today's perspective.) < 1582387586 801454 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 QUIT :Remote host closed the connection < 1582388691 915206 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric : int-e: i'm actually thinking more about the actual integer values. => ring the bells, fungot being sensible again! < 1582388692 112261 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: by the time that k6-2 acted up, could you post some of the srfi-s." fnord < 1582388749 205757 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: Heh I didn't actually read the reply. fungot: So sorry! < 1582388749 297437 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: drscheme doesn't support ( fnord list-lib)...) x) ( 1 1)) < 1582388759 572161 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :fungot: btw what do you think, does M-Audio Code 49 keyboard have some merit over M-Audio Oxygen 49 or not? < 1582388759 685191 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: No need to rub it in though. < 1582388759 794925 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: and anyway i can't actually feel the vibration, i'm not supposed to register a type ( stm t), and suddenly firefox has nothing better to do < 1582388759 879522 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: it's also ironic that you appear so eager to deny it. < 1582388769 810355 :int-e!~noone@int-e.eu PRIVMSG #esoteric :HAHA < 1582388815 491379 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`complain fungot's a big meanie! < 1582388815 604586 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: if you can call it this way, forcer. i think this language is evil indeed... i like the < 1582388817 568852 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Complaint filed. Thank you. < 1582388851 905471 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :fungot: you’re totally right about firefox, but what do you mean by vibration? Is one of them built not robust enough, or do you intrinsically feel MIDI data as vibrations? < 1582388852 144859 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: these headphones suck. forget it) as the basis; any number of such functions as above, each keeping their own local state... the value of the stack < 1582388886 88179 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :man, they even know about my headphones < 1582389161 494913 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://www.netlib.org/lapack/lug/node65.html is fun. < 1582389626 706822 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net QUIT :Read error: Connection reset by peer < 1582389679 121279 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1582389740 231408 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net JOIN :#esoteric < 1582389918 294169 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 JOIN :#esoteric < 1582391547 275629 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 260 seconds < 1582392729 301067 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :ok, i switched to pure Scott numerals < 1582392740 415670 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :turns out you don't need a list index function in that caqse < 1582392799 846954 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :as long as your cons puts the tail before the head < 1582392834 850129 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1582392839 939923 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :i.e. cons = \h\t\z.z t h < 1582392849 664741 :int-e!~noone@int-e.eu PRIVMSG #esoteric :is it just me or does that sound a bit dirty < 1582392863 81989 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :in that case the n'th element of a list is simply list n < 1582392887 766932 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :all is fair in war and codegolf:-) < 1582392968 135963 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :now my infinite laver is down to 223 bits < 1582392986 969301 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582393057 805038 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :and further down to 215 by switching laver arg order! < 1582393758 18192 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :and i have to say, the laver2 diagram looks awesome < 1582393779 832778 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :paste test: < 1582393784 496199 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :┬────────── < 1582393784 548266 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :┼─────┬──── < 1582393784 548321 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :┼─────┼─┬── < 1582393786 498005 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :│ ──┬─┼ ┼ ┬ < 1582393788 498262 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :│ ┬─┼─┼ │ │ < 1582393790 496771 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :│ │ ├─┘ │ │ < 1582393792 498807 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :│ ├─┘ │ │ < 1582393794 497756 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :└─┤ │ │ < 1582393796 505333 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric : └─────┤ │ < 1582393798 495996 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric : └─┘ < 1582393800 504145 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :hmm, doesn't look good in my IRC client < 1582393812 499406 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :(that was just the pred function) < 1582394147 269950 :int-e!~noone@int-e.eu PRIVMSG #esoteric :looks fine for me, but I'd still prefer a pastebin. < 1582395230 848833 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1582395554 21765 :xkapastel!uid17782@gateway/web/irccloud.com/x-fnavkdjqlxhigpcd QUIT :Quit: Connection closed for inactivity < 1582397529 518235 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :https://pastebin.com/9wFrMpm0 < 1582397604 796255 :int-e!~noone@int-e.eu PRIVMSG #esoteric :weird. https://pastebin.com/raw/9wFrMpm0 looks better for me. < 1582397638 414178 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hah, so much recursion < 1582397649 297161 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :yes, the Y's stand out:-) < 1582397654 14778 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the \x. x x part is easy to recognize) < 1582397686 721312 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nice flag. < 1582398789 837564 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Remote host closed the connection < 1582399359 359747 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Hah, those diagrams don't really work when there are no applications at all. < 1582399421 673406 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Though that's a limitation of the program more than the diagrams.) < 1582399534 273866 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :the line-drawing glyphs look pretty good to me, http://xen.firefly.nu/up/2020-02-22_202521.png < 1582399564 974131 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I mean, http://paste.debian.net/1131572/ would make perfect sense, wouldn't it? < 1582399568 924366 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :would maybe look better with some extra horizontal lines < 1582399651 803043 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FireFly: they represent lambda-terms, so there isn't really any room for *more* horizontal lines? < 1582399728 79410 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I meant more that ─┬─ might look better than just ┬ (or maybe ╶┬╴) < 1582399739 426403 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :to make it a bit more pronounced < 1582399762 2846 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FireFly: Well, ideally it would be using a square font. < 1582399768 938359 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :*nod* < 1582399776 645916 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582399778 918161 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1582399856 529204 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582400122 954717 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Oh, the ASCII and pbm versions actually deal with that case more gracefully. < 1582400231 697543 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And now I'm confused... I obviously messed up my test(s). < 1582400835 615019 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: So never mind, false alarm. < 1582400945 537718 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The only idea that remains is that one could stick an extra ╵ under the root of the `boxchar` variant of diagrams, and that's too minor to worry about. < 1582402608 559287 :arseniiv!~arseniiv@136.169.210.57 QUIT :Read error: Connection reset by peer < 1582402628 110867 :arseniiv!~arseniiv@136.169.210.57 JOIN :#esoteric < 1582403474 744102 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :the boxchar has a root, but the alternative Boxchar omits is for aesthetic reasons < 1582403483 272217 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1582403609 269906 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582404613 955037 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1582404885 371307 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Ping timeout: 258 seconds < 1582407331 434599 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, stumbled over Fortran's column major array storage, fun. < 1582407385 641356 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I've now successfully used lapack to solve a system of linear equations. Progress. :) < 1582408902 284508 :tromp!~tromp@2a02:a210:ca3:2800:71f0:ee99:694:c906 PRIVMSG #esoteric :posted the 215 bit Laver to this thread https://www.reddit.com/r/math/comments/f1mr5y/expressing_grahams_number/fihckrq/?utm_source=share&utm_medium=web2x < 1582411285 743022 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I don't know how it is working in Fortran, but the Microsoft BASIC compiler usually uses column major arrays but there is also an option for row major storage; I think FreeBASIC is row major only. < 1582411478 942216 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :FireFly: In your picture still the lines are not lined up very well; on my computer (I use Fixed as the font) the lines are perfectly lined up properly, and are not fuzzy, either. < 1582411526 843476 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :there's a minor font issue, yeah. my primary font doesn't cover some of the glyphs IIRC, for unknown reasons... I have a patched version of the font somwehere, but am not using it currently on this machine < 1582411739 572265 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Are you combining two fonts that don't match? Can the combination be changed? < 1582411996 474798 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :int-e: I recommend Eigen. it has a much more modern interface, and can do most of the things that BLAS+LAPACK can do < 1582412038 207085 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :including solving systems of linear equations < 1582412088 703556 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I recommend Eigen too, although I'm not particularly familiar with it. < 1582412107 679546 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Certainly you get less "ooh, that's so retro" experiences with it than BLAS/LAPACK though. < 1582412295 52205 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: cause when we raise our flagon to another dead dragon there is just one drink we need < 1582412357 247990 :int-e!~noone@int-e.eu PRIVMSG #esoteric :maybe next time < 1582412415 244208 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1582412565 940456 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't actually mind the retro feeling. What I do mind is that the documentation (the LAPACK user's guide) doesn't cover the actual API (it gives you concepts and corresponding function names)... for that you have to go to the actual Fortran source files (as far as I can see). Once you realise that, I think it becomes quite usable. (example: http://www.netlib.org/lapack/double/dgetrs.f ) < 1582412709 521706 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :int-e: the docs are in a somewhat bad state, yes < 1582413212 146385 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :re BLAS/LAPACK/Eigen: and what thing does Numpy uses as a backend? (if it doesn’t use its own implementation) < 1582413365 313661 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :My undestanding is that it uses the BLAS/LAPACK interfaces, so you can sawp the implementation to thinks like Intel MKL or OpenBLAS. < 1582413379 928810 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/thinks/things/ blah < 1582413394 264821 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: What do you use for linear algebra? < 1582413394 414093 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: the problem is creating the word lists that are complicated." i didn't want to fix a bug or not < 1582413412 407054 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :fizzie: oh, interesting! Didn’t expect it may use these < 1582413435 644918 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://markus-beuckelmann.de/blog/boosting-numpy-blas.html for a random blog post about it. < 1582413823 863286 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :also a week or two ago I surfed posts with names “… considered harmful” and ended up reading something about named tesors which is a suggestion to use named tensor indices in (particularly, ML) code using tensory computations as it may benefit such and such. And I thought: uh, wait, seriously you haven’t done it already? Penrose already invented abstract index notation years ago (and even that was suspiciously late, I think: the idea is so simp < 1582413823 962993 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :le!) < 1582414205 203379 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :though there was an interesting point in the named tensor post which isn’t obviously related to abstract index notation: a suggestion to make only some indices visible to some code. Though that’s not too unrelated: we can treat “ground tensors” as structs with fields, all public, which one can cast to “tensor interfaces”, which can have less members. I’d add covariance/contravariance as a further improvement, but I don’t know at all if < 1582414205 334589 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :this would have any sense in real code. Maybe that would only harm < 1582414414 571007 :arseniiv!~arseniiv@136.169.210.57 PRIVMSG #esoteric :ta-ta! < 1582414416 409675 :arseniiv!~arseniiv@136.169.210.57 QUIT :Quit: gone completely :o < 1582414912 961600 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :and, by the way, Eigen can both provide a BLAS implementation and use a different BLAS implementation for optimizing its own operations