< 1546387375 665168 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1546388073 987897 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1546390757 98691 :b_jonas!~x@catv-176-63-14-134.catv.broadband.hu QUIT :Quit: leaving < 1546392411 217955 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1546392437 314269 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546392769 225102 :arseniiv!~arseniiv@46.191.210.13 QUIT :Ping timeout: 246 seconds < 1546393073 451053 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546393278 317376 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1546397198 610587 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think the spaceship is going to like your idea, sam < 1546397521 663675 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION spots boily on reddit < 1546397531 931583 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he doesn't seem to come here any more < 1546399749 17714 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :In some computer games you can shoot only once and can't shoot again until your previous bullet/arrow is gone, but now I found a game with a variant of that, where you can shoot as often as you want but the previous arrow disappears if you shoot again < 1546399762 757407 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(Also it says "delayed" instead of "paused") < 1546399825 327532 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Goodnight LambdaComplex < 1546400806 714664 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1546400822 365857 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1546401884 760712 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546402071 525465 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1546403727 319807 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1546409985 240971 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1546410915 593048 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1546411666 202035 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :It seem Fossil wiki doesn't treat "¼" as a actual HTML entity code even though "£" works. < 1546411951 759781 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(However, "¼" can be used instead of "¼" and that works OK.) < 1546419120 938635 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be JOIN :#esoteric < 1546419376 230487 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1546420762 516287 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546420986 905980 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1546423581 140314 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546423747 290226 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1546425387 337955 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 240 seconds > 1546425771 24245 PRIVMSG #esoteric :14[[07Pepe14]]4 10 02https://esolangs.org/w/index.php?diff=58917&oldid=58038 5* 03RealUndefined 5* (+22) 10 < 1546426126 439456 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546426319 950864 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1546427649 330324 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546429574 727384 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 272 seconds < 1546434234 159736 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546435053 377238 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 245 seconds < 1546435624 279467 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1546435685 412164 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :re: the whole Wang tiles / combinatory logic thing, it strikes me that ():^ Underload could be implemented in a very similar system; it's associative, and there are only finitely many possible distinct stack elements < 1546435697 882749 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you genuinely could create tiles for all of them in advance < 1546435786 419047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :of course, that language is basically just an encoding of a counter machine, which would be easy enough to implement directly… < 1546435826 100878 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could implement ~ and ! easily too, the hard commands are a and * < 1546435840 568232 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because they can generate interesting new sorts of stack elements < 1546435889 459978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, now I'm thinking about "postfix Underload" < 1546435969 236020 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where your primitives are a * : ^ ! (a) (*) (:) (^) (!) < 1546435997 549458 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and (…) is converted to reverse-Polish notation, e.g. (a(!)*) would be written as (a) (!) a * (*) * < 1546436062 438536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of this could be implemented very easily using "local" rewrite rules (i.e. ones that don't try to pattern match against (…) or the like) < 1546436089 910129 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the hard cases are ! and : applied to a and * < 1546436094 304215 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'm not sure they're /that/ hard < 1546436138 992062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, a ! is trivial, it's just ! < 1546436169 869821 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and * ! is ! ! < 1546436181 442558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the hard case is : applied to the result of a or * < 1546436592 56454 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let's add an additional primitive pair _ and (_), with the rule that for any stack elements [X] and [Y], [X] [Y] _ is equivalent to (Y) ^ (X); this is an updated version of a primtiive I've been using a lot in Underload-based languages < 1546436677 178463 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, that doesn't obviously seem to help in a rewrite-based system < 1546436750 311642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but perhaps if we put restrictions on [Y]? < 1546436825 609666 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :* [X] [Y] _ is equivalent to [Y] ^ [X] < 1546436952 670507 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I think the primitive we want has sligtly different functionality < 1546437022 762567 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546437027 338422 :arseniiv!~arseniiv@46.191.210.13 JOIN :#esoteric < 1546437101 155482 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546437194 536623 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1546437638 811039 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :…or maybe we need two of them, _ and ~ < 1546437678 630820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a [Y] ~ is [Y] < 1546437694 980303 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, typo, a [Y] ~ is [Y] ~ a < 1546437836 383499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but * [Y] ~ isn't easy, I think ~ is the wrong primitive too < 1546437961 89868 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess what I want is something that pushes a command under one stack element (like _ does), but can be repeated to push the command under two stack elements, etc. < 1546437963 1441 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1546438005 946545 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1546438884 740893 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1546439011 647821 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 250 seconds < 1546439214 98713 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem is that that wouldn't be concatenative < 1546439523 161852 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546439636 731219 :aloril!~aloril@mobile-access-5d6a9e-141.dhcp.inet.fi QUIT :Remote host closed the connection < 1546439667 406603 :aloril!~aloril@mobile-access-5d6a9e-141.dhcp.inet.fi JOIN :#esoteric < 1546439745 530902 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1546441065 989471 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546441296 733599 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1546441829 419947 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1546443224 987020 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 246 seconds < 1546443943 725414 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1546444027 333381 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1546444086 559256 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1546445824 857148 :derpy_!~quassel@ppp-62-216-204-158.dynamic.mnet-online.de JOIN :#esoteric < 1546445952 711926 :derpy!~quassel@ppp-62-216-204-248.dynamic.mnet-online.de QUIT :Ping timeout: 272 seconds < 1546446469 336217 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546446668 955721 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1546446741 442462 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546446821 162206 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546446928 273195 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1546447107 396264 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 240 seconds < 1546447253 185437 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546453943 505065 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546454046 412153 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1546454120 463215 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1546454277 967976 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1546454545 665302 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546454740 416861 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1546455372 885057 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1546455372 971875 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1546455372 971925 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1546459785 326363 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.3 < 1546462328 266789 :arseniiv!~arseniiv@46.191.210.13 QUIT :Ping timeout: 245 seconds < 1546463057 252904 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1546463543 638491 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1546463618 676095 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1546466407 799516 :MDude!~MDude@71.50.218.48 QUIT :Ping timeout: 268 seconds < 1546467040 209929 :MDude!~MDude@71.50.218.48 JOIN :#esoteric < 1546468730 132918 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1546468802 999726 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 246 seconds < 1546470135 929181 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1546470210 289177 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1546471047 258153 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546471225 641655 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1546472126 487142 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546472317 231251 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1546472898 507499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1546473388 256192 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 246 seconds < 1546473545 975624 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric