< 1542931745 233705 :heroux!sandroco@gateway/shell/insomnia247/x-oopqjqeficzfeqch QUIT :Read error: Connection reset by peer < 1542932052 834205 :heroux!sandroco@gateway/shell/insomnia247/x-fkziuovqvmzavzbl JOIN :#esoteric < 1542934505 673432 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1542935424 186711 :skizzy!~skizzy@172.58.175.65 JOIN :#esoteric < 1542936435 760255 :xkapastel!uid17782@gateway/web/irccloud.com/x-yqwgqtdjmycytznb QUIT :Quit: Connection closed for inactivity < 1542939582 914340 :Lord_of_Life_!~Lord@46.217.121.15 JOIN :#esoteric < 1542939676 253819 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1542939676 368971 :Lord_of_Life_!~Lord@46.217.121.15 NICK :Lord_of_Life < 1542939676 504832 :Lord_of_Life!~Lord@46.217.121.15 QUIT :Changing host < 1542939676 551532 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1542941733 986524 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1542942020 449346 :skizzy!~skizzy@172.58.175.65 QUIT :Remote host closed the connection < 1542942137 486362 :skizzy!~skizzy@172.58.175.65 JOIN :#esoteric < 1542942303 933610 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: apparently M-/ does completion only as filename < 1542943216 923897 :skizzy!~skizzy@172.58.175.65 QUIT :Remote host closed the connection < 1542943504 506654 :skizzy!~skizzy@172.58.175.65 JOIN :#esoteric < 1542944694 22879 :xkapastel!uid17782@gateway/web/irccloud.com/x-psjyfqnzgvsosefc JOIN :#esoteric < 1542944827 176058 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :oerjan: Yes, that works (on my computer at least) < 1542953072 865989 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :oerjan: well great. I still don't really get the point of programmable completion in bash. it sounds useful in abstract in readline, but that doesn't mean I want to use it in bash for anything. < 1542953124 615308 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :especially not after the horrible decision by gnu getopt_long to accept any unambiguous prefix of a long option < 1542953160 711286 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :I don't know why they even did that, that just means that scripts using long options will randomly break in the future when new long options are added, which makes the whole point of long options as opposed to short options kind of useless < 1542953201 208341 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :I mean, manually adding synonyms to long options, that I understand, but accepting any random prefix without a warning? < 1542953251 460651 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :they should explicitly add synonyms like --no-perm and --no-same-perm and --no-permission and --no-permissions and --no-same-permission to the option --no-same-permissions in tar, and things like that < 1542953267 411403 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1542953321 950356 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :anybody have any resources for evaluating the S and K combinator basis using queues? < 1542953341 148848 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I guess my question is really "how can I evaluate unlambda using only a queue holding the initial input string." < 1542953390 757909 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :imode: look at how underload works. it uses two stacks. wait, queues? < 1542953396 414798 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1542953406 609607 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yeah, a queue. < 1542953406 656386 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :still, even for queues, you just use a suitable rewriting system. < 1542953423 198492 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :it'll just be slow < 1542953426 555122 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :https://ptpb.pw/WVs8 < 1542953437 334842 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :this is the problem statement I'm working with. < 1542953443 32142 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :(I wrote it.) < 1542953480 624827 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :wait, hasn't someone already asked something about queues and how you can use them? < 1542953483 689034 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the idea is to formulate combinator application as a series of operations on multiple queues. < 1542953507 422098 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I don't want to use parens, so I admit an application operator/combinator. < 1542953565 125887 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm already doing friggin' term rewriting using a queue, I can't imagine CL could be that far off. < 1542953727 232755 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Sometimes all of the letters for short options are used, that might be why they need the long options. Other than that I think short options are usually good enough < 1542953766 665803 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :can you cheat by using integers, either in the queue, or in some registers? < 1542953809 195224 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :no. the queue must consist entirely of a sequence of those combinators I've defined: `, S and K. < 1542953815 453073 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :zzo38: well sure, grep and tar have a lot of options, including for compatibility merging multiple different grep variants which is why grep -r and grep -R means the same < 1542953837 280418 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :fyi, b_jonas: https://git.imode.tech/?p=python/modal;a=blob;f=modal.py;h=fc26ebe7ae44f3220f5ad9b1267421ae38d61e2d;hb=refs/heads/master < 1542953849 122320 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :telnet imode.tech 1337 < 1542953868 992559 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :(factorial (5)) + (factorial (6)) < 1542953914 518007 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm already doing term rewriting using queues and some additional data structures. what I want to show is a reduction from general term rewriting to a set of rewriting combinators. < 1542953924 541765 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :and then from there, to a queue automata. < 1542954043 891643 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the top layer (the interpreter you see there) is called Modal. the middle layer is Mode. < 1542954285 783186 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :The syntax for numbers is a bit confusing. The response and rules says "num 1" but that is what you have if you write "1". < 1542954330 585034 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yup, because all numbers get prefixed with their type. < 1542954344 312765 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :all arithmetic rules then take something like `add (num ?left) (num ?right)` < 1542954354 201166 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :to extract the numeric value of a number. < 1542954368 280082 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :this is why you need to do `add (10) (20)`, or `(10) + (20)`. < 1542954406 818726 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :if you didn't parenthesize your numbers, it'd look like `add num 10 num 20`. which isn't good. < 1542954413 337045 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :If you write "num 1" then you get "num num 1". < 1542954427 834885 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yup. because `1` was transformed into `num 1`. < 1542954438 364033 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :What you say is sense, I am only saying the syntax is a bit confusing due to that < 1542954448 203788 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :agreed. :) < 1542954455 336072 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu PRIVMSG #esoteric :sorry, I have to go < 1542954456 801710 :b_jonas!~x@catv-176-63-24-228.catv.broadband.hu QUIT :Quit: leaving < 1542954644 902705 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Also, what exactly is the tilde doing? Sometimes it adds spaces sometimes seems to do nothing, if it is a prefix to something < 1542954692 495312 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :oh wow. that's a bug. < 1542954781 244495 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :alright, reconnect. that should not happen now. < 1542955287 935498 :arseniiv!~arseniiv@77.79.181.62.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds < 1542955595 292454 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :OK it work now < 1542956209 303334 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net JOIN :#esoteric < 1542956385 541629 :nfd!~nfd9001@2601:602:8500:d0d1:ad3b:c5be:4f16:3200 QUIT :Ping timeout: 252 seconds < 1542956421 422321 :skizzy!~skizzy@172.58.175.65 QUIT :Ping timeout: 244 seconds < 1542958035 895099 :xkapastel!uid17782@gateway/web/irccloud.com/x-psjyfqnzgvsosefc QUIT :Quit: Connection closed for inactivity < 1542958551 975219 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :girl genius: ok, i did not expect _that_. < 1542958571 503583 :skizzy!~skizzy@172.58.4.190 JOIN :#esoteric < 1542958668 733710 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1542958689 389585 :skizzy2!~skizzy@172.58.175.65 JOIN :#esoteric < 1542958839 513735 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1542958878 685698 :skizzy!~skizzy@172.58.4.190 QUIT :Ping timeout: 264 seconds < 1542958920 421753 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1542959108 458203 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, that bear's earrings seem a bit on and off < 1542959194 387192 :skizzy2!~skizzy@172.58.175.65 QUIT :Ping timeout: 250 seconds < 1542959724 480253 :skizzy!~skizzy@172.58.175.65 JOIN :#esoteric < 1542960585 656511 :skizzy!~skizzy@172.58.175.65 QUIT :Remote host closed the connection < 1542960610 609250 :skizzy!~skizzy@172.58.175.65 JOIN :#esoteric < 1542960687 514970 :skizzy!~skizzy@172.58.175.65 QUIT :Client Quit < 1542962602 585795 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Quit: lol rip < 1542962616 56 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1542963903 288145 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 245 seconds < 1542965652 826507 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 268 seconds < 1542966795 324644 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: the discoloring effect on the eyes is kind of impressive :P < 1542966813 376496 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(andthe teeth as well) < 1542967094 932247 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course there's a trope for it https://tvtropes.org/pmwiki/pmwiki.php/Main/LatexPerfection < 1542967116 229697 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(warning: tvtropes will ruin your life hth) < 1542968941 776586 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1542970484 501779 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1542970796 611732 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: leaving < 1542971190 194185 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Read error: Connection reset by peer < 1542971211 659474 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1542972627 570899 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Quit: lol rip < 1542972645 258151 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1542973476 850977 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@tell oerjan https://xkcd.com/609/ hth < 1542973476 940106 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1542973496 812716 :olsner!~salparot@c193-14-197-149.bredband.comhem.se QUIT :Ping timeout: 268 seconds < 1542974506 422201 :olsner!~salparot@c193-14-197-149.bredband.comhem.se JOIN :#esoteric < 1542975019 287143 :olsner!~salparot@c193-14-197-149.bredband.comhem.se QUIT :Ping timeout: 246 seconds < 1542975273 671101 :olsner!~salparot@c193-14-197-149.bredband.comhem.se JOIN :#esoteric < 1542976912 15651 :xkapastel!uid17782@gateway/web/irccloud.com/x-zofalixbtpupgccc JOIN :#esoteric < 1542977930 829967 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1542979875 479477 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1542979903 408591 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Max SendQ exceeded < 1542979930 991757 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1542980433 821834 :arseniiv!~arseniiv@77.79.181.62.dynamic.ufanet.ru JOIN :#esoteric < 1542982932 949855 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 252 seconds < 1542983007 716458 :Lord_of_Life!~Lord@46.217.124.53 JOIN :#esoteric < 1542983007 862289 :Lord_of_Life!~Lord@46.217.124.53 QUIT :Changing host < 1542983007 862346 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1542984060 733419 :arseniiv!~arseniiv@77.79.181.62.dynamic.ufanet.ru QUIT :Ping timeout: 252 seconds < 1542984414 718831 :arseniiv!~arseniiv@77.79.181.62.dynamic.ufanet.ru JOIN :#esoteric < 1542985947 967134 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1542987013 27768 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1542992411 986261 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1542992727 236647 :hakatashi!~hakatashi@104.131.49.125 QUIT :Remote host closed the connection < 1542992727 744211 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1542993513 138215 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1542994510 733346 :newbie!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1542994713 986953 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Ping timeout: 252 seconds < 1542996365 658452 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1542996614 684329 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1542996738 399013 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1542997274 991358 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :Lol Briton longbow spam is apparently, in 2017, still as impossible to counter as it was when I was like 12 < 1542997278 391299 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.reddit.com/r/aoe2/comments/7541iv/noob_question_countering_late_game_mass_longbows/do395ge < 1542998759 866183 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1542999030 913841 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1542999635 688669 :sleepnap!~thomas@2603:3015:260e:1900::13ed QUIT :Quit: Leaving. < 1543001986 789851 :newbie!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Ping timeout: 268 seconds < 1543002051 473210 :newbie!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1543002296 638715 :newbie!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Client Quit < 1543003250 483714 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1543005836 341428 :b_jonas!~x@catv-176-63-24-46.catv.broadband.hu JOIN :#esoteric < 1543006324 30410 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :Changing host < 1543006324 30476 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1543006508 95375 :moony!moony@unaffiliated/moonythedwarf QUIT :Changing host < 1543006508 95422 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1543008118 818569 :b_jonas!~x@catv-176-63-24-46.catv.broadband.hu PRIVMSG #esoteric :`ehlist http://eheroes.smackjeeves.com/comics/2699873/nothing-out-of-the-ordinary/ < 1543008119 449329 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ehlist: not found > 1543011966 603068 PRIVMSG #esoteric :14[[07An Odd Rewriting System14]]4 10 02https://esolangs.org/w/index.php?diff=58479&oldid=58401 5* 03Ais523 5* (+709) 10implemented; example < 1543012368 883593 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1543013403 837652 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1543016771 59822 :b_jonas!~x@catv-176-63-24-46.catv.broadband.hu QUIT :Quit: leaving < 1543016838 683608 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds