< 1543536130 768091 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1543537113 422288 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543537153 825745 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543537520 293558 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net NICK :sdhand_ < 1543537528 351816 :sdhand_!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net NICK :danieljabailey < 1543537609 308974 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 246 seconds < 1543537619 513885 :sparr!~sparr@2604:a880:800:10::103:f001 QUIT :Changing host < 1543537619 513935 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1543538368 973469 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543538384 905480 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543539989 152699 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1543540128 628645 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543540183 253549 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543540484 657818 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 268 seconds < 1543541125 846777 :Vorpal!~Vorpal@c213-103-134-81.bredband.comhem.se JOIN :#esoteric < 1543541125 935998 :Vorpal!~Vorpal@c213-103-134-81.bredband.comhem.se QUIT :Changing host < 1543541125 936031 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1543543840 282097 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu QUIT :Quit: leaving < 1543544169 830402 :arseniiv!~arseniiv@95.105.12.19.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1543544181 301642 :arseniiv!~arseniiv@95.105.12.19.dynamic.ufanet.ru JOIN :#esoteric < 1543544725 435903 :xkapastel!uid17782@gateway/web/irccloud.com/x-rwkgxtrtidxqfpkd QUIT :Quit: Connection closed for inactivity < 1543545673 228509 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 246 seconds < 1543545792 537944 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1543548755 233394 :xkapastel!uid17782@gateway/web/irccloud.com/x-xobltydrnujzvixe JOIN :#esoteric < 1543554648 917555 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I am not the only one who has written comments to the SQLite mailing list about unreleased changes to SQLite; someone else did too, complaining about the internal name of a function in an extension. The name has been corrected. > 1543555470 630907 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03ShareMan 5* 10New user account > 1543555710 804173 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=58514&oldid=58466 5* 03ShareMan 5* (+327) 10/* Introductions */ < 1543556906 51920 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1543556990 939629 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1543557467 696435 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1543557485 973437 :Lord_of_Life!~Lord@46.217.125.142 JOIN :#esoteric < 1543557486 37160 :Lord_of_Life!~Lord@46.217.125.142 QUIT :Changing host < 1543557486 83789 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543557588 949911 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1543557688 736600 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1543557768 911226 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1543559703 247139 :arseniiv!~arseniiv@95.105.12.19.dynamic.ufanet.ru QUIT :Ping timeout: 245 seconds < 1543559757 384719 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1543560114 657618 :xkapastel!uid17782@gateway/web/irccloud.com/x-xobltydrnujzvixe QUIT :Quit: Connection closed for inactivity < 1543561830 731921 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net JOIN :#esoteric < 1543563202 140146 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1543567100 654351 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1543567742 31447 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543567754 781770 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543569023 149875 :xkapastel!uid17782@gateway/web/irccloud.com/x-oktnzdhoofkdlrwk JOIN :#esoteric > 1543569152 949899 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03ThisIsTheFoxe 5* 10New user account > 1543569990 65054 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=58515&oldid=58514 5* 03ThisIsTheFoxe 5* (+261) 10/* Introductions */ > 1543570113 389063 PRIVMSG #esoteric :14[[07Befunge14]]4 M10 02https://esolangs.org/w/index.php?diff=58516&oldid=57920 5* 03ThisIsTheFoxe 5* (-14) 10/* Quine */ < 1543570968 380741 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1543574874 815106 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 250 seconds < 1543579580 999630 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 246 seconds < 1543579915 253826 :Vorpal!~Vorpal@c83-254-216-72.bredband.comhem.se JOIN :#esoteric < 1543579915 343885 :Vorpal!~Vorpal@c83-254-216-72.bredband.comhem.se QUIT :Changing host < 1543579915 343918 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1543580946 4630 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1543580966 435085 :Lord_of_Life!~Lord@46.217.125.142 JOIN :#esoteric < 1543580966 579373 :Lord_of_Life!~Lord@46.217.125.142 QUIT :Changing host < 1543580966 579420 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543581483 480249 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1543581522 403683 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Max SendQ exceeded < 1543586432 998683 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1543587941 254453 :arseniiv!~arseniiv@95.105.12.19.dynamic.ufanet.ru JOIN :#esoteric < 1543589149 645454 :john_metcalf!~digital_w@host109-149-154-37.range109-149.btcentralplus.com QUIT :Quit: http://corewar.co.uk < 1543589406 995011 :sleepnap!~thomas@2603:3015:260e:1900:8319:87ab:f00:d5de JOIN :#esoteric < 1543591714 249336 :arseniiv_!~arseniiv@46.191.176.99 JOIN :#esoteric < 1543591728 251605 :arseniiv!~arseniiv@95.105.12.19.dynamic.ufanet.ru QUIT :Ping timeout: 245 seconds < 1543592048 438355 :arseniiv_!~arseniiv@46.191.176.99 NICK :arseniiv < 1543595021 526303 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 244 seconds < 1543597680 842804 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :shachaf : in the multiplicative case, i think not < 1543597716 976049 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :shachaf : i think someone considered a rule called "mix" which allowed one direction, at least < 1543597744 806280 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(which was validated in some semantics, like coherence spaces or something) < 1543597754 384086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think this is different from the mix rule? < 1543597906 158678 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, hmm < 1543598078 339116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're right, this is just the mix rule. < 1543598087 916199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I confused it with something else. < 1543598290 917542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski++ < 1543598705 361794 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :hm, if you think of tensor as producing results independently, and par as producing them in an interacting way, one might expect to be able to vacuously consider the former as a special case of the latter < 1543598731 589476 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(recall how linear implication can be stated in terms of par) < 1543598811 537101 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :a tensor-continuation would consume the results in a dependent/interacting way (consider multiplication of say natural numbers, we combine information from both parts, together) < 1543598860 922359 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :while a par-continuation would consume the two interacting result, in an independent way (like one process communicating with one of the two results, and another process communicating with the other one) < 1543598903 86340 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :so if the results really are interacting, we'd still get three processes which are connected to each other. if they're actually independent, it looks like we get disconnection .. < 1543599416 262214 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1543599913 6885 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :@ping < 1543599913 95876 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1543600293 45411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: Any idea about models of linear logic without mix? < 1543600548 14981 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :i don't think i have much of anything useful to say there, no :/ < 1543600555 433924 :Lord_of_Life_!~Lord@46.217.124.40 JOIN :#esoteric < 1543600692 416328 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1543600700 429492 :Lord_of_Life_!~Lord@46.217.124.40 NICK :Lord_of_Life < 1543600709 973945 :Lord_of_Life!~Lord@46.217.124.40 QUIT :Changing host < 1543600709 974041 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543601393 110349 :xkapastel!uid17782@gateway/web/irccloud.com/x-oktnzdhoofkdlrwk QUIT :Quit: Connection closed for inactivity < 1543603775 741025 :xkapastel!uid17782@gateway/web/irccloud.com/x-aegxxkkkhlmmzqhu JOIN :#esoteric < 1543604531 274926 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu JOIN :#esoteric < 1543604542 977397 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1543605123 127606 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`" < 1543605125 370586 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :182) ... come to think of it, \ 190) GCC: -Os -O2 -O3 gives a 4x improvment < 1543605910 517643 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :why is there no -O4 < 1543606381 694749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why does -O take any numbers < 1543606385 793129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's all scow < 1543606558 852594 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :-O65536 < 1543606789 291701 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: -OOO < 1543606813 552039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gcc has optimizations that you can't even turn on or off individually, only with -O < 1543606820 425187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What a scam < 1543607778 422292 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :shachaf: because -O is for when you want fast compilation, -O0 is never useful, -O2 is if you want a well-optimized output even at the cost of somewhat slow compilation for large programs, and -Og if you really hate printf debugging and want to step through everything in an interactive debugger < 1543607832 1791 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :oh, and -Os is for the stage of the boot loader that has to fit in the space left in the hoot sector on a very old floppy with 256 byte sectors < 1543607933 489391 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :only -O and -O2 are useful really < 1543607989 687605 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: it's 512 bytes < 1543607990 582516 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1543608049 380904 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(But I thought that part is written in assembly. Maybe I thought wrong.) < 1543608056 891288 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :int-e: yes, that's why I said a "very old floppy" < 1543608086 1439 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :on normal floppies and "double density" 720K floppies and all the ones you'll meet the sectors are 512 byte sized < 1543608097 816235 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :but 256 byte sized sectors used to exist in older floppies < 1543608110 188424 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: Those would predate linux... what other OS kernel was compiled with gcc before Linux? < 1543608112 188098 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :int-e: yes, most of it is in assembly usually < 1543608125 14854 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or do you mean a non-gcc compiler, hmm < 1543608149 32450 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :int-e: I'm exaggerating here with the boot sector really, I don't know how they're really compiled (I've seen the source code for that in grub-l once, but that was ages ago, and I didn't look at the *akefile) < 1543608161 25950 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :I do mean gcc < 1543608189 195162 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :but not the kernel itself, but a boot loader, which I guess is silly, because Linux used to boot directly from a floppy back then without a boot loader < 1543608221 683062 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :there are even a few bytes reserved in the boot sector as substitutes for important kernel boot arguments, like the ID of the root device, since there's no boot loader to pass such argument < 1543608228 775491 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :they removed that from Linux a few years ago < 1543608255 334297 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION has found https://en.wikipedia.org/wiki/List_of_floppy_disk_formats ... oh well. < 1543608266 980332 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :now it requires a boot loader, but there are at least seven boot loaders that can load linux, and most of them work from a floppy, so that's not a problem < 1543608311 512709 :int-e!~noone@int-e.eu PRIVMSG #esoteric :one of those has 319 byte sectors, cute. < 1543608363 300729 :arseniiv_!~arseniiv@77.79.183.229.dynamic.ufanet.ru JOIN :#esoteric < 1543608409 714019 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :int-e: do you know how large physical sectors are on a CD? it's not a power of two, because the payload size is a power of two, and there's a lot of extra checksum that's less than half the size of the payload < 1543608425 988379 :b_jonas!~x@catv-176-63-24-244.catv.broadband.hu PRIVMSG #esoteric :s/checksum/error correcting code/ < 1543608445 186607 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: not by heart. < 1543608472 789545 :int-e!~noone@int-e.eu PRIVMSG #esoteric :2352 < 1543608498 594516 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net QUIT :Quit: WeeChat 2.2 < 1543608526 226823 :arseniiv!~arseniiv@46.191.176.99 QUIT :Ping timeout: 246 seconds < 1543608586 58245 :int-e!~noone@int-e.eu PRIVMSG #esoteric :no, that's not true either < 1543609081 284758 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Summarizing wikipedia, there's 2048 payload encoded into 2352 bytes of data (98 frames, 24 bytes payload each) 3234 (98 frames, 33 bytes on CD-ROM). > 1543611388 866941 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=58517&oldid=58515 5* 03Oerjan 5* (+0) 10 < 1543612704 551483 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1543612767 741710 :Lord_of_Life!~Lord@46.217.177.137 JOIN :#esoteric < 1543612767 788115 :Lord_of_Life!~Lord@46.217.177.137 QUIT :Changing host < 1543612767 788183 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1543613452 530950 PRIVMSG #esoteric :14[[07The Waterfall Model14]]4 10 02https://esolangs.org/w/index.php?diff=58518&oldid=55755 5* 03Ais523 5* (+170) 10/* Computational class */ link The Waterfall Model Online, because it's complete enough to be usable < 1543614588 153666 :user24!~user24@p200300886901F90019A8DB832BB148B0.dip0.t-ipconnect.de JOIN :#esoteric > 1543614612 497155 PRIVMSG #esoteric :14[[07+-14]]4 10 02https://esolangs.org/w/index.php?diff=58519&oldid=57870 5* 03Cortex 5* (+855) 10 < 1543614736 338307 :MACUMBA!midnighty@gateway/shell/suchznc/x-wynemfuupggvlbfj QUIT :Quit: SuchZNC - Such ZNC, many free, w0w... -- https://suchznc.net < 1543615729 532914 :sleepnap!~thomas@2603:3015:260e:1900:8319:87ab:f00:d5de PART :#esoteric < 1543617787 928832 :arseniiv_!~arseniiv@77.79.183.229.dynamic.ufanet.ru NICK :arseniiv < 1543618419 553674 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1543618903 239995 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1543619257 837078 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1543619412 953497 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1543619546 388907 :Lord_of_Life!~Lord@46.217.177.137 JOIN :#esoteric < 1543619546 487320 :Lord_of_Life!~Lord@46.217.177.137 QUIT :Changing host < 1543619546 487376 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543621609 945354 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :PGCC went up to -O6. < 1543621628 991747 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://oldhome.schmorp.de/pgcc-faq.html#opts < 1543621691 488412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aren't a lot of optimizer things search problems that can take arbitrarily long? < 1543621704 683170 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do compilers decide where to stop? < 1543621796 213547 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe they stop when they get bored. < 1543621808 441856 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Terrible for reproducible builds. < 1543621838 184692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What I mean is, maybe I should be able to specify that sort of thing. < 1543621859 218777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe the marginal gain of spending more time than whatever -O2 does is very small. < 1543621912 501937 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can specify a lot of those things on GCC, with --param. < 1543621925 870669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a long long list at the end of https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#Optimize-Options < 1543621984 239684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Last I checked there was code in GCC that literally checked if (optimization_level >= 2) { ... } < 1543622375 573793 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Perhaps you can suggest a correction to that, then